Franklin

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...

Get It

Details

Other Title:
CADE-14 : Automated deduction
Subjects:
Automatic theorem proving -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
Notes:
Includes bibliographical references and index.
Contributor:
McCune, W. (William)
ISBN:
3540631046
OCLC:
37011266