Cover Image

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

Antioquia/Complejo Norte: Unknown

Holdings details from Antioquia/Complejo Norte: Unknown
Call Number: 005.101 L473l
Copy Ej. 1 Available Place a Hold

Cauca/Comercio y Servicios: Unknown

Holdings details from Cauca/Comercio y Servicios: Unknown
Call Number: 005.131 L473l
Copy Ej. 1 Available Place a Hold

Cundinamarca/Girardot: Unknown

Holdings details from Cundinamarca/Girardot: Unknown
Call Number: 005.131 L473l
Copy Ej. 1 Available Place a Hold

Santander/Malagá: Unknown

Holdings details from Santander/Malagá: Unknown
Call Number: 005.131 L473l
Copy Ej. 1 Available Place a Hold

Tolima/Industria: Unknown

Holdings details from Tolima/Industria: Unknown
Call Number: 005.131 L473l
Copy Ej. 1 Available Place a Hold
Copy Ej. 3 Available Place a Hold
Copy Ej. 2 Available Place a Hold

Tolima/Comercio: Unknown

Holdings details from Tolima/Comercio: Unknown
Call Number: 005.131 L473l
Copy Ej. 1 Available Place a Hold
Copy Ej. 2 Available Place a Hold

Similar Items