10th International Conference on Automated Deduction

10th International Conference on Automated Deduction
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990: proceedings
M. E. Stickel, (ed.)
Publisher: Berlin ; Springer-Verlag, c1990.
ISBN: 0387528857 DDC: 511.3 LCC: QA76.9

Notes:

Includes bibliographical references and index.

Classification:

(click to see other 'Books on the Same Shelf')

Dewey Class: 511.3 -- General principles
LCC Number: QA76.9

Book Details:

Language: eng
Physical Description: xvi, 688 p. : ill. ; 24 cm.

Similar Books:

•	5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 (edited by W. Bibel and R. Kowalski; ISBN: 0387100091; (U.S.); 100% match)
•	5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 (edited by W. Bibel and R. Kowalski; ISBN: 3540100091; (Berlin); 100% match)
•	6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 (edited by D. W. Loveland; ISBN: 0387115587; (U.S.); 100% match)
•	...more similar books

Subjects:

Click on a subject to see other books listed with the same subject or to drill down into components of the subject -- such as geographical locations, dates and so on.

•	Automatic theorem proving -- Congresses (79)
•	Logic, Symbolic and mathematical -- Congresses (292)

Buying this book:

We query many merchants so that you can instantly compare prices and availability. You can even check historic prices and subscribe for notifications. For a manual check, clicking on a link will open a new window with a search for this book on the merchant's site of your choice.

•	Amazon.com by title or by ISBN — widest selection, reliable service, good prices
•	Abebooks.com by title or by ISBN — good source for rare and out-of-print books
•	Textbooks.com by title or by ISBN — large inventory of new & used textbooks with free shipping (on orders over $25)
•	Alibris.com by title or by ISBN — their slogan is "books you thought you'd never find"
•	eCampus.com by title or by ISBN — they specialize in textbooks, used and new
•	BN.com by title or by ISBN — Barnes & Noble has a wide selection of new and used books

Libraries this book has an entry in:

•	University of Wales (Aberystwyth, UK) (last modified on 01/24/2009)
•	Texas A & M University Database (last modified on 10/10/2008)
•	University of Pennsylvania (last modified on 07/18/2008)
•	Oregon State University (last modified on 05/19/2008)
•	Western Washington University (last modified on 11/11/2007)
•	Hong Kong University of Science and Technology (last modified on 08/28/2007)
•	Concordia University -- Montreal, Canada (last modified on 07/20/2004)
•	Purdue University Library (last modified on 03/01/2004)
•	Colorado Unified Catalog (Prospector) (last modified on 02/21/2004)

FAQ | Privacy Policy | Contact ISBNdb.com