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 - 9789048150526 - 9 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 1st Ed. Softcover of Orig. Ed. 1998 edition

Cena
zł 602,90

Zamówione z odległego magazynu

Przewidywana dostawa 8 - 16 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:

347 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 9 grudnia 2010
ISBN13 9789048150526
Wydawcy Springer
Strony 347
Wymiary 156 × 234 × 18 mm   ·   485 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 )