Image from Google Jackets

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

By: Language: Spanish Publication details: México, D.F., México : Ra-Ma, 2010Edition: Primera ediciónDescription: 177 páginas ; ilustraciones ; 23 cmContent type:
  • texto
Media type:
  • sin mediación
Carrier type:
  • volumen
ISBN:
  • 9786077854333
Subject(s): DDC classification:
  • 004.015 1 L4736l
Contents:
Teorías de primer orden -- Resolución -- Elementos de programación lógica y prolog -- Apéndices.
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Notes Barcode
Libros MATRIZ 004.015 1 L4736l (Browse shelf(Opens below)) Ej.1 Available ESTANTERIA 5.D 15399923

Incluye índice.

Incluye bibliografía.

Teorías de primer orden -- Resolución -- Elementos de programación lógica y prolog -- Apéndices.

There are no comments on this title.

to post a comment.
Share