The Seventeen Provers of the World
Wiedijk, Freek.
The Seventeen Provers of the World Foreword by Dana S. Scott / edited by Freek Wiedijk. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540328889
Computer science.; Software engineering.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Software Engineering.; Mathematical Logic and Formal Languages.
The Seventeen Provers of the World Foreword by Dana S. Scott / edited by Freek Wiedijk. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540328889
Computer science.; Software engineering.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Software Engineering.; Mathematical Logic and Formal Languages.