Library of American University of Madaba

Normal View MARC View ISBD View

Automated deduction, CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings / Automated deduction : CADE-20 CADE-20 CADE-twenty 20th International Conference on Automated Deduction Twentieth International Conference on Automated Deduction International Conference on Automated Deduction CADE 2005 Robert Nieuwenhuis (ed.). - Berlin : Springer, 2005. - xiii, 457 p. : ill. ; 24 cm. - Lecture notes in computer science ; 3632. 0302-9743 ; .

Includes bibliographical references and index.



ISBN: 3540280057 (pbk.) 9783540280057

Subjects--Topical Terms:
Automatic theorem proving
Logic, Symbolic and mathematical.

Dewey Class. No.: 006.3 / I612