Automated deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / William McCune, (ed.).

Publication:

Berlin ; New York : Springer, c1997.

Format/Description:

Conference/Event
Book
xiv, 462 p. : ill. ; 24 cm.

Conference Name:

International Conference on Automated Deduction (14th : 1997 : Townsville, North Queensland, Australia)

Series:

Lecture notes in computer science ; 1249.
Lecture notes in computer science. Lecture notes in artificial intelligence
Lecture notes in computer science ; 1249. Lecture notes in artificial intelligence

Status/Location:

Loading...