The Seventeen Provers of the World Foreword by Dana S. Scott / [electronic resource] : edited by Freek Wiedijk. - Berlin Heidelberg : Springer-Verlag GmbH., 2006 - xvi, 157 pages : illustration, digital ; 24 cm. - Lecture Notes in Computer Science, 3600 0302-9743 ; .

9783540328889 (electronic bk.)


Proof theory--Data processing.
Algebra--Computer programs.
Computer Science.
Artificial Intelligence (incl. Robotics)
Mathematical Logic and Formal Languages.
Software Engineering.

QA155.7.E4 / S48 2006

511.36