Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings /

Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	International Conference on Automated Deduction (12th : 1994 : Nancy, France)
Imprint:	Berlin ; New York : Springer-Verlag, c1994.
Description:	xvi, 848 p. ; 24 cm.
Language:	English
Series:	Lecture notes in computer science ; 814. Lecture notes in artificial intelligence Lecture notes in computer science 814. Lecture notes in computer science. Lecture notes in artificial intelligence
Subject:	Automatic theorem proving -- Congresses. Logic, Symbolic and mathematical -- Congresses. Automatic theorem proving. Logic, Symbolic and mathematical. Conference papers and proceedings.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/1646704

Hidden Bibliographic Details
Other authors / contributors:	Bundy, Alan
ISBN:	3540581561 (Berlin : acid-free paper) : DM152,- 0387581561 (New York : acid-free paper)
Notes:	Includes index.

Mansueto

Loading map link

Holdings details from Mansueto
Call Number:	QA76.9.D337I580 1994
c.1	Available Loan period: standard loan Request from Mansueto Scan and Deliver Need help? - Ask a Librarian