Automated reasoning :
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
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