An edition of The Seventeen Provers of the World (2006)
The Seventeen Provers of the World
Foreword by Dana S. Scott (Lecture Notes in Computer Science)
By Freek Wiedijk
0 (0 Ratings)
1 Want to read0 Currently reading0 Have read
1 Want to read0 Currently reading0 Have read
Publish Date
March 16, 2006
Publisher
Springer
Language
eng
Pages
158
Description:
subjects: Algebra, Proof theory, Data processing, Computer programs, Mathematics, Computers, Computers - General Information, Computer Books: Languages, 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