Open Library logo
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 with:


Buy this book

Amazon $4.00 (used)
Better World Books

Links (leaves Open Library)

There's no description for this book yet. Can you add one?
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

Download catalog record: RDF / JSON
July 30, 2014 Created by ImportBot import new book