Boekstra - Automated Theorem Proving

Automated Theorem Proving

After 25 Years

Image not found

Image not found

Description

No description was found.

In the shopping cart Delivered in 5 business days. Wishlist Ask a question

In the shopping cart Delivered in 5 business days. Wishlist Ask a question

Free shipping from
€ 19,95 within The Netherlands

Writer
Title: Automated Theorem Proving
Publisher: American Mathematical Society

Year: 1984
Language: English
Pages
Weight: 499 gr

EAN: 9780821850275
Dimensions: 260 x 178 x 25 mm
Binding format: Paperback / softback

You will always receive the last edition from us!

Categories

Food and drinks

Regional novels