The Seventeen Provers of the World Foreword by Dana S. Scott
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. |