Automated Theorem Proving: After 25 Years - Contemporary Mathematics - - Książki - American Mathematical Society - 9780821850275 - 30 grudnia 1984
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Automated Theorem Proving: After 25 Years - Contemporary Mathematics

Cena
zł 261,90

Zamówione z odległego magazynu

Przewidywana dostawa 31 gru - 5 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
Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 30 grudnia 1984
ISBN13 9780821850275
Wydawcy American Mathematical Society
Wymiary 252 × 171 × 14 mm   ·   486 g
Redaktor Bledsoe, W. W
Redaktor Loveland, Donald W.