Clausal form logic an introduction to the logic of computer reasoning

Detalles Bibliográficos
Autor principal:	Richards, Tom
Formato:	Libro
Lenguaje:	English
Publicado:	Sydney Addison-Wesley c1989.
Materias:	Expert systems (Computer science). Artificial intelligence. Logic, Symbolic and mathematical. Reasoning.