Extensions of logic programming /

Extensions of logic programming / ed. Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister. - Berlin : Springer, 1996. - 318 p. - Lecture notes in computer science ; v. 1050 Lecture notes in artificial intelligence . - Lecture notes in computer science ; v. 1050 Lecture notes in computer science. Lecture notes in artificial intelligence .

3540609830


Representación del conocimiento, métodos, formas y scripts.
Knowledge representation formalisms and methods frames and scripts.
Logic programming.
Lógica matemática-Computación.
Mathematical logic-Computation.
Deducción y prueba de teoremas.
Deduction and theorem proving.


Nuestras Redes Sociales

facebook Instagram

Horario de la Biblioteca: lunes a viernes de 8:30 a 18:30hs

Av. Medina Allende s/n , Ciudad Universitaria, Córdoba, Argentina

Tel: +54 351 5353701 int. 41127 (Atención al Público) int. 41151 (Dirección)

biblio@famaf.unc.edu.ar (Dirección)

publicofamaf@gmail.com (Atención al público)