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 - 9789048150519 - 6 grudnia 2010
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 Softcover reprint of hardcover 1st ed. 1998 edition

Cena
zł 799,90

Zamówione z odległego magazynu

Przewidywana dostawa 7 - 15 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.

450 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 6 grudnia 2010
ISBN13 9789048150519
Wydawcy Springer
Strony 434
Wymiary 160 × 240 × 23 mm   ·   625 g
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 )