Automated deduction -- CADE-21
Subtitle: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings
By: Frank Pfenning (ed.).
Contributors: Pfenning, Frank.
Series: Lecture notes in computer science -- 4603. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 4603.; Lecture notes in computer science
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 522
ISBN-13: 9783540735946
Subjects: Automatic theorem proving -- Congresses; Logic, Symbolic and mathematical -- Congresses
Genres: Congresses.
Other titles: Automated deduction.; CADE-21.; CADE-twenty-one.; 21st International Conference on Automated Deduction.; Twenty-first International Conference on Automated Deduction.; International Conference on Automated Deduction.
Notes: Includes bibliographical references and author index.