A 25-year prspective on logic programming : achievements of the Italian Association for Logic Programming, GULP /
Otros Autores: | Dovier, Agostino (Editor/a), Pontelli, Enrico 1967- (Editor/a) |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Berlin, Heidelberg :
Springer,
c2010.
|
Colección: | Lecture notes in computer science / series editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
6125 |
Materias: | |
Acceso en línea: | Ver documento en línea |
Ejemplares similares
-
A concise introduction to mathematical logic /
por: Rautenberg, Wolfgang 1936-2011
Publicado: (2010) -
N-Prolog and equivalence of logic programs /
por: Olivetti, Nicola, et al.
Publicado: (1992) -
A defeasible logic programming-based framework to support argumentation in semantic web applications /
por: Janjua, Naeem Khalid
Publicado: (2014) -
Lectures on infinitary logic and logics of programs /
por: Rasiowa, Helena, et al.
Publicado: (1974) -
Computability and logic /
por: Boolos, George
Publicado: (1980)