Automated reasoning :
Automated reasoning : introduction and applications /
Larry Wos...[et. al].
- 2a. ed.
- New York : McGraw-Hill, 1992
- xvi, 656 p. ; 24 cm.
1 ejemplar Recursos propios
Incluye bibliografias e indice
0130544469
Comprobación automático--teoremas
Inteligencia artificial
Computadoras electrónicas digitales--programación
QA76.9.A96 / A93 1992
1 ejemplar Recursos propios
Incluye bibliografias e indice
0130544469
Comprobación automático--teoremas
Inteligencia artificial
Computadoras electrónicas digitales--programación
QA76.9.A96 / A93 1992