Automated reasoning
Automated reasoning : introduction and applications
/ Larry Wos ... [et al.].
- 1a ed.
- Englewood Cliffs, NJU. : Prentice-Hall, c1984
- xiv, 482 p. : il. ; 23 cm.
Incluy bibliografias e índice
0130544531
Inteligencia artificial
Programación (Computadores)
QA76.9.A96 / A88 1984
Incluy bibliografias e índice
0130544531
Inteligencia artificial
Programación (Computadores)
QA76.9.A96 / A88 1984