Automated reasoning : introduction and applications /

Bibliographic Details
Main Author:	Wos, Larry (Autor/a)
Other Authors:	Overbeek, Ross (Autor/a), Lusk, Ewing (Autor/a), Boyle, Jim (Autor/a)
Format:	Book
Language:	English
Published:	Englewood Cliffs, N.J. : Prentice Hall, 1984.
Subjects:	INTELIGENCIA ARTIFICIAL COMPUTADORAS ELECTRONICAS DIGITALES

Description
Physical Description:	482 páginas.
ISBN:	0130544469

Similar Items