Open Library logo
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 editions

Cover of: 10th International Conference on Automated Deduction (Lecture Notes in Computer Science / Lecture Notes in Artific) | Mark E. Stickel
There's no description for this book yet. Can you add one?

1 edition First published in 2007

Edition Read Locate Buy
Cover of: 10th International Conference on Automated Deduction (Lecture Notes in Computer Science / Lecture Notes in Artific)

History

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