Lógica para la computación : teorías de primer orden, resolución y elementos de programación lógica y prolog /

Saved in:

Bibliographic Details
Main Author:	Ledesma, Luis de
Format:	Book
Language:	Spanish
Published:	México, D. F. : Alfaomega Grupo Editor, c2010. Ra-Ma,
Subjects:	Lenguajes de programación (Computadores electrónicos) Lógica simbólica y matemática Lógica de primer orden
Notas Contenido:	Teorías de primer orden Resolución Elementos de programación lógica y prolog Definiciones y demostraciones inductivas Adecuación de las tablas analíticas Consideraciones elementales sobre la representación del conocimiento con lenguajes de primer orden

Description
Physical Description:	177 páginas : ilustraciones ; 23 cm. + 1 cd-rom
Bibliography:	Incluye referencias bibliográficas e índice alfabético
ISBN:	9786077854333

Similar Items