Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings /

Saved in:

Bibliographic Details
Meeting name:	International Conference on Automated Deduction (20th : 2005 : Tallinn, Estonia)
Imprint:	Berlin ; New York : Springer, ©2005.
Description:	1 online resource (xiii, 457 pages) : illustrations.
Language:	English
Series:	Lecture notes in computer science, 0302-9743 ; 3632. Lecture notes in artificial intelligence Lecture notes in computer science ; 3632. 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:	E-Resource Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/11068620

Hidden Bibliographic Details
Varying Form of Title:	CADE-20 CADE-twenty 20th International Conference on Automated Deduction Twentieth International Conference on Automated Deduction International Conference on Automated Deduction CADE 2005
Other authors / contributors:	Nieuwenhuis, Robert.
ISBN:	9783540318644 354031864X 3540280057 9783540280057
Notes:	Includes bibliographical references and index. Print version record.
Summary:	"This volume contains the proceedings of the 20th International Conference on Automated Deduction (CADE-20). It was held July 22-27, 2005 in Tallinn, Estonia ..."
Other form:	Print version: International Conference on Automated Deduction (20th : 2005 : Tallinn, Estonia). Automated deduction, CADE-20. Berlin ; New York : Springer, ©2005 3540280057 9783540280057

Similar Items