Lógica para la computación teorias de primer orden, resolución y elementos de programación lógica y PROLOG
De Ledesma, Luis
Lógica para la computación teorias de primer orden, resolución y elementos de programación lógica y PROLOG - 1a. ed. - México, D.F. Alfaomega 2010 - 177 Sí
Capítulo I, 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.
12837
005.131/D35
Lógica para la computación teorias de primer orden, resolución y elementos de programación lógica y PROLOG - 1a. ed. - México, D.F. Alfaomega 2010 - 177 Sí
Capítulo I, 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.
12837
005.131/D35