Automated Theorem Proving

Automated Theorem Proving

by Wolfgang Bibel
     
 

Product Details

ISBN-13:
9783528085209
Publisher:
Vieweg+Teubner Verlag
Publication date:
01/01/1982
Edition description:
1982
Pages:
292
Product dimensions:
6.69(w) x 9.61(h) x 0.65(d)

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >