A 25-year prspective on logic programming : achievements of the Italian Association for Logic Programming, GULP /
Other Authors: | Dovier, Agostino (Editor/a), Pontelli, Enrico 1967- (Editor/a) |
---|---|
Format: | Book |
Language: | English |
Published: |
Berlin, Heidelberg :
Springer,
c2010.
|
Series: | Lecture notes in computer science / series editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen
6125 |
Subjects: | |
Online Access: | Ver documento en línea |
Similar Items
-
A concise introduction to mathematical logic /
by: Rautenberg, Wolfgang 1936-2011
Published: (2010) -
N-Prolog and equivalence of logic programs /
by: Olivetti, Nicola, et al.
Published: (1992) -
A defeasible logic programming-based framework to support argumentation in semantic web applications /
by: Janjua, Naeem Khalid
Published: (2014) -
Lectures on infinitary logic and logics of programs /
by: Rasiowa, Helena, et al.
Published: (1974) -
Computability and logic /
by: Boolos, George
Published: (1980)