Cover of: Proceedings | International Conference on Automated Deduction (10th 1990 Kaiserslautern, Germany)

There's no description for this book yet. Can you add one?

Edition Notes

Includes biblioigraphical references and index.

Series
Lecture notes in computer science ;, 449., Lecture notes in artificial intelligence, Lecture notes in computer science ;, 449., Lecture notes in computer science.

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA76.9.A96 I57 1990

The Physical Object

Pagination
xvi, 688 p. :
Number of pages
688

ID Numbers

Open Library
OL1857869M
Internet Archive
proceedings10thi0000inte
ISBN 10
0387528857
LC Control Number
90010125
Goodreads
3941218
Borrow

Download ebook for print-disabled Download Protected DAISY


Prefer the physical book? Check nearby libraries with:


Buy this book

Amazon $4.89 (used)
Better World Books

History

Download catalog record: RDF / JSON / OPDS
July 14, 2018 Edited by ImportBot import new book
April 16, 2010 Edited by bgimpertBot Added goodreads ID.
December 12, 2009 Edited by WorkBot link works
April 1, 2008 Created by an anonymous user Initial record created, from Scriblio MARC record.