Automated Deduction  CADE-20
Subtitle: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: September 1, 2005
Language: eng
Format: Paperback
Number of pages: 459
ISBN-13: 9783540280057
Subjects: Computing and Information Technology; Programming - Software Development; Computers - General Information; Computers; Computer Books: Languages; Artificial Intelligence - General; Logic Design; Computers / Artificial Intelligence; automated code verification; automated deduction; automated reasoning; computational logics; formal verification; Logic; Automatic theorem proving; Congresses; Congráes; Dâemonstration automatique; Logic, Symbolic and mathematical; Thâeoráemes