Cover is for reference only

Automated deduction--CADE-23：23rd International Conference on Automated Deduction, Wroc¿aw, Poland, July 31-August 5, 2011 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: International Conference on Automated Deduction (23rd 2011 Wroc¿aw, Poland); SpringerLink (Online service)
Group Author: Sofronie-Stokkermans Viorica.; Bjo rner Nikolaj.
Published: Springer,
Publisher Address: Heidelberg New York
Publication Dates: c2011.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 6803.
Subjects:
Logic, Symbolic and mathematical.
Electronic books.
Automatic theorem proving
Online Access: http://dx.doi.org/10.1007/978-3-642-22438-6
Carrier Form: 1 online resource (xiii, 508 p.): ill.
ISBN: 9783642224386 (electronic bk.)
3642224385 (electronic bk.)
Index Number: TP301
CLC: TP301.6-532
TP387-532
TP18-532
Contents: Includes bibliographical references and index.

Related Book Recommendations