Fr. 224.30

Automated Theorem Proving - After 25 Years

English · Paperback / Softback

Shipping usually within 2 to 3 weeks (title will be printed to order)

Description

Product details

Assisted by W. W Bledsoe (Editor), Donald W. Loveland (Editor)
Publisher American Mathematical Society
 
Languages English
Product format Paperback / Softback
Released 15.12.1984
 
EAN 9780821850275
ISBN 978-0-8218-5027-5
Dimensions 252 mm x 171 mm x 14 mm
Weight 486 g
Series Contemporary Mathematics
Subject Natural sciences, medicine, IT, technology > Mathematics > Basic principles

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.