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 ImportBot
July 30, 2014 | History

Automated Deduction – CADE-22 1 edition

Automated Deduction – CADE-22
Renate A. Schmidt

No ebook available.


Prefer the physical book? Check nearby libraries powered by WorldCat


Buy this book


Links (leaves Open Library)

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

Automated Deduction – CADE-22
22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings
edited by Renate A. Schmidt

Published 2009 by Springer Berlin Heidelberg in Berlin, Heidelberg .
Written in English.

Edition Notes

Series
Lecture Notes in Computer Science -- 5663

The Physical Object

Format
[electronic resource] :

ID Numbers

Open Library
OL25568392M
Internet Archive
automateddeducti00rena
ISBN 13
9783642029585, 9783642029592

History Created July 30, 2014 · 1 revision Download catalog record: RDF / JSON

July 30, 2014 Created by ImportBot import new book