For Publishers

All
Subject
Title
Author
Publisher
Series Title

8th International Conference on Automated Deduction

Oxford, England, July 27- August 1, 1986. Proceedings

(

)

Editor:

Siekmann, Jörg

Series title:

Lecture Notes in Computer Science Ser.

ISBN:

978-3-540-39861-5

Publication Date:

Jan 2006

Publisher:

Springer

Book Format:

Ebook

List Price:

USD $109.00

Book Details

Pages:

716

Related Books

View more

Design, User Experience, and Usability: Theories, Methods, and Tools for Designing the User Experience - a book by Marcus Aaron

Abstraction, Reformulation, and Approximation - a book by Miguel Ian

Knowledge Science, Engineering and Management - a book by Buchmann Robert

Attribute Grammars - a book by Deransart, Pierre

Featured Books

View more Featured Books

Rate this title:

Select your rating below then click 'submit'.

I do not wish to rate this title.