Ninth International Conference on Automated Deduction

Ninth International Conference on Automated Deduction

by Ewing L. Lusk
     
 

Product Details

ISBN-13:
9780387193434
Publisher:
Springer-Verlag New York, LLC
Publication date:
06/28/1988
Series:
Lecture Notes in Computer Science
Pages:
775

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >