Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series - W Bibel - Książki - Springer - 9780792351306 - 30 czerwca 1998
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

W Bibel
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1998 edition

Cena
zł 798,90

Zamówione z odległego magazynu

Przewidywana dostawa 9 - 19 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.

448 pages, biography

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 30 czerwca 1998
ISBN13 9780792351306
Wydawcy Springer
Strony 434
Wymiary 160 × 241 × 29 mm   ·   807 g
Język Angielski  
Redaktor Bibel, Wolfgang
Redaktor Schmitt, P.H.

Więcej od W Bibel

Pokaż wszystko

Zobacz wszystko od W Bibel ( np. Paperback Book i Hardcover Book )