Automated Theorem Proving: After 25 Years - Contemporary Mathematics

Cena

zł 682,90

Zamówione z odległego magazynu

Przewidywana dostawa 14 - 21 paź

Nasi klienci mówią:

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.