The Seventeen Provers of the World
Subtitle: Foreword by Dana S. Scott (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: March 16, 2006
Language: eng
Format: Paperback
Number of pages: 159
ISBN-13: 9783540307044
Subjects: Mathematics; Data processing; Computer programs; Computers; Computers - General Information; Computer Books: Languages; Proof theory; Logic; Artificial Intelligence - General; Programming - Software Development; Computers / Artificial Intelligence; computer algebra systems; formal methods; formal reasoning systems; formal verification; formalization; mathematical formalizations; mathematical proof assistants; provers; Algebra