Vista normal Vista MARC Vista ISBD

Paniagua Arias, Enrique

Lògica computacional - España : Thomson - 205p.

La sintaxis de la logica, La samantica de la logica, El metodo axiomatico, El metodo interpretativo, La demostracion automatica de teoremas, Los agentes inteligentes y la logica

ISBN: 8497321820

Subjects--Topical Terms:
INTELIGENCIA ARTIFICIAL
LOGICA MATEMATICAS
LOGICA SIMBOLICA Y MATEMATICA

Dewey Class. No.: 510.63 P154l