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 - 9780792351290 - 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ł 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:

rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.

481 pages, 1, black & white illustrations

Media Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 30 czerwca 1998
ISBN13 9780792351290
Wydawcy Springer
Strony 481
Wymiary 160 × 242 × 33 mm   ·   884 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 )