Automated reasoning : introduction and applications /

Detalles Bibliográficos
Autor principal:	Wos, Larry (Autor/a)
Otros Autores:	Overbeek, Ross (Autor/a), Lusk, Ewing (Autor/a), Boyle, Jim (Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Englewood Cliffs, N.J. : Prentice Hall, 1984.
Materias:	INTELIGENCIA ARTIFICIAL COMPUTADORAS ELECTRONICAS DIGITALES

Descripción
Descripción Física:	482 páginas.
ISBN:	0130544469

Ejemplares similares