-
426. Automated Theorem Proving
Seller Description: Brand New. New. See More Details
1982, Vieweg+teubner Verlag
ISBN-13: 9783528085209
Paperback, New
New Delhi, DELHI, INDIA
$49.17
-
427. Automated Theorem Proving
Seller Description: Brand New. New. See More Details
1982, Vieweg+teubner Verlag
ISBN-13: 9783528085209
Paperback, New
New Delhi, DELHI, INDIA
$61.88
-
428. Automated Theorem Proving
Seller Description: New, Satisfaction guaranteed! ! See More Details
1982, Vieweg+teubner Verlag
ISBN-13: 9783528085209
Paperback, New
Irving, TX, USA
$70.25
-
429. Automated Theorem Proving (German Edition)
by Bibel, Wolfgang
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1982, Vieweg+Teubner Verlag
ISBN-13: 9783528085209
paperback, Good
Santa Clarita, CA, USA
$99.35
-
430. Studies in Automatic Programming Logic (Artificial Intelligence Series)
by Manna, Zohar
Seller Description: Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book. See More Details
1978, Elsevier Science Ltd
ISBN-13: 9780444002242
hardcover, Good
Santa Clarita, CA, USA
$41.38
-
431. Studies in Automatic Programming Logic (Artificial Intelligence Series)
by Manna, Zohar
Seller Description: Very Good-Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark-NICE Standard-sized. See More Details
1977, North-Holland
ISBN-13: 9780444002242
Hardcover, Very Good
Harrisburg, PA, USA
$13.10
-
432. Studies in Automatic Programming Logic (Artificial Intelligence Series)
by Manna, Zohar
Seller Description: New. See More Details
1977, North-Holland
ISBN-13: 9780444002242
hardcover, New
Miramar, FL, USA
$71.26
|
