Wos, Larry
Automated reasoning : introduction and applications /
Larry Wos ... [et al.].
- New Jersey : Prentice-Hall, c1984.
- xiv,482 p. : 24 cm.
0130544469
Automatic theorem proving Artificial intelligence Electronic digital computers
Programming
QA76.9 / .A96A93 1984
001.535