Automated deduction--CADE 16
Subtitle: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
By: [edited by] Harald Ganzinger.
Contributors: Ganzinger, H. 1950-
Series: Lecture notes in computer science ; 1632. Lecture notes in artificial intelligence; Lecture notes in computer science -- 1632.; Lecture notes in computer science
Publisher: Springer
Published: 1999
Place of publication: New York
Language: eng
Number of pages: 428
Subjects: Automatic theorem proving -- Congresses; Logic, Symbolic and mathematical -- Congresses
Genres: Congresses.