E-book
The Seventeen Provers of the World [electronic resource] : Foreword by Dana S. Scott / edited by Freek Wiedijk.
Record details
- ISBN: 9783540328889
- Physical Description: XVI, 159 p. Also available online. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Search for related items by subject
| Subject: | Computer science. Software engineering. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Software Engineering. Mathematical Logic and Formal Languages. |
