CADE 1997: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997: proceedings

Shelfclass_id	4.A
Sortkey	CADE
Authors	William McCune
Title	CADE 1997: 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997: proceedings
Publisher	Springer-Verlag
Year	c1997
Languages	eng
Isbn	3540631046
Series	Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence
Volume	1249
Issn	0302-9743
Description	xiv, 462 p. ill. 24 cm
Record date	20060707
Location	New York
Keywords	Automatic theorem proving, Logic, Symbolic and mathematical