Fascinating country in the world of computing, a: your guide to automated reasoning
Auteur :
Wos, Larry / Pieper, Gail W
Éditeur :
World Scientific Publishing Co Pte Ltd
ISBN :
9789810239107
Date de publication :
2 déc. 1999
Langue :
Anglais
Pays d'origine :
Singapour
This text demonstrates - through examples and puzzles and intriguing questions - how to make your computer reason logically. To help you, the book includes a CD-ROM with OTTER, the world's most powerful general-purpose reasoning program.