Click here to skip to this page's main content.

New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by Open Library Bot
April 28, 2010 | History

10th International Conference on Automated Deduction (Lecture Notes in Computer Science / Lecture Notes in Artific) 1 edition

Cover of: 10th International Conference on Automated Deduction (Lecture Notes in Computer Science / Lecture Notes in Artific) | Mark E. Stickel

No ebook available.


Prefer the physical book? Check nearby libraries powered by WorldCat


Buy this book


Ack! There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

10th International Conference on Automated Deduction (Lecture Notes in Computer Science / Lecture Notes in Artific)

Published October 1, 2007 by Springer .
Written in English.

The Physical Object

Format
Paperback
Number of pages
708
Dimensions
9.2 x 6.1 x 1.5 inches
Weight
2.2 pounds

ID Numbers

Open Library
OL9829847M
Internet Archive
thinternationalc00stic
ISBN 10
3540528857
ISBN 13
9783540528852
Library Thing
6364324

History Created December 11, 2009 · 2 revisions Download catalog record: RDF / JSON

April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 11, 2009 Created by WorkBot add works page