Automated DeductionCADE-14
Subtitle: 14th International Conference on Automated Deduction Townsville, North Queensland, Australia, July 1317, 1997 Proceedings
By: edited by William McCune
Series: Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence -- 1249,; Lecture notes in computer science -- 1249,
Publisher: Springer-Verlag
Published: 1997
Place of publication: Berlin; Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783540691402
Subjects: Mathematical Logic and Formal Languages; Computer science; Artificial intelligence; Artificial Intelligence (incl. Robotics)