Wos, Larry
Fascinating country in the world of computing : your guide to automated reasoning
- Singapore: World Scientific, 1999
- xx, 587 p.; : 23 cm.
9810239106 (hbk)
Artificial intelligence
Automatic theorem proving
Computer programming
Otter (Computer file)
511.3028553 / WOS