Normal view
MARC view
The Seventeen Provers of the World Электронный ресурс Foreword by Dana S. Scott edited by Freek Wiedijk.
Material type: Computer fileSeries: Lecture Notes in Computer SciencePublication details: Berlin Heidelberg : Springer-Verlag GmbH., 2006ISBN: 9783540328889Subject(s): Artificial intelligence | Computer Science | Software engineering | Computer Science | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Formal Languages | Software EngineeringOnline resources: Click here to access online In: Springer e-booksNo physical items for this record
There are no comments on this title.