(0)
 
Automated Theorem Proving
by Wolfgang Bibel and W. Bibel

 
Paperback - German
  • $69.95

Add to Cart + Add to Wishlist

In Stock. Usually ships within 24 hours.

This item is Non-Returnable.
Free Shipping is not available for this item.

Not a member? Join Today!
 
 
New & Used Marketplace 8 copies from $14.50
 
 
 

More About Automated Theorem Proving by Wolfgang Bibel; W. Bibel
 
 
 
Overview

This item is Non-Returnable.

 
Details
  • ISBN-13: 9783528085209
  • ISBN-10: 3528085207
  • Publisher: Vieweg+teubner Verlag
  • Publish Date: January 1982
  • Page Count: 292


Related Categories

Books > Computers & Internet > Computer Science
Books > Mathematics > Logic
Books > Computers & Internet > Intelligence (AI) & Semantics

 
BAM Customer Reviews

DISCUSSION