Title: The Seventeen Provers of the World
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