Automated reasoning : introduction and applications /
Larry Wos...[et al.].
- 2a ed.
- New York : McGraw-Hill, 1992.
- xvi, 656 p. : il. ; 25 cm.
Bibliografía : p. 639-642 e índice.
007911251X
Teoremas autómaticos--Pruebas
Inteligencia artificial
Computadores electrónicos dígitales
QA76.9.A96 / A98 1992