152 treff

logic programming
Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
ELP '96
Bok Engelsk 1996 · Vis mer
Foundations of logic programming
J.W. Lloyd
Bok Engelsk 1987 · Vis mer
Vis flere utgaver
Vis flere utgaver
Functional and logic programming : 6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings
International Symposium on Functional and Logic Programming
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Functional and logic programming : 4th Fuji international symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings
International Symposium on Functional and Logic Programming
Bok Engelsk 1999 · Vis mer
Extensions of logic programming : second international workshop, ELP 91 Stockholm, Sweden, January 27-29, 1991 : proceedings
L-H. Eriksson, L. Hallnäs, P. Schroeder-H...
Bok Engelsk 1992 · Vis mer
Extensions of logic programming : 4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings
ELP '93
Bok Engelsk 1994 · Vis mer
Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings
International Conference on Algebraic and Logic Programming
Bok Engelsk 1994 · Vis mer
Extensions of logic programming : third international workshop, ELP '92, Bologna, Italy, February 26-28, 1992 : proceedings
ELP '92
Bok Engelsk 1993 · Vis mer
Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings
H. Kirchner, G. Levi (eds.)
Bok Engelsk 1992 · Vis mer
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings
H. Kirchner, W. Wechler (eds.)
Bok Engelsk 1990 · Vis mer
From logic to logic programming
Kees Doets
Bok Engelsk 1994 · Vis mer
Introduction to logic programming
Christopher John Hogger
Bok Språk ikke angitt 1984 · Vis mer
Essentials of logic programming
Christopher John Hogger
Bok Engelsk 1990 · Vis mer
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. Pt. 1.

Bok Engelsk 2002 · Vis mer
Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski. Pt. 2.

Bok Engelsk 2002 · Vis mer
Meta-programming in logic programming
edited by Harvey Abramson and M. H. Roger...
Bok Språk ikke angitt 1989 · Vis mer
From standard logic to logic programming : introducing a logic based approach to artificial intelligence
editor André Thayse ; authors Paul Gochet...
Bok Engelsk 1988 · Vis mer
Deductive databases and logic programming
Subrata Kumar Das
Bok Engelsk 1992 · Vis mer
Non-monotonic extensions of logic programming : second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
NMELP '96
Bok Engelsk 1997 · Vis mer
Foundations of disjunctive logic programming
Jorge Lobo, Jack Minker, Arcot Rajasekar
Bok Engelsk 1992 · Vis mer
Constraint satisfaction in logic programming
Pascal Van Hentenryck
Bok Engelsk 1989 · Vis mer
DLP : a language for distributed logic programming : design, semantics and implementation
Eliëns, Anton
Bok Engelsk 1991 · Vis mer
Logic grammars
Harvey Abramson, Veronica Dahl
Bok Engelsk 1989 · Vis mer
Answer Set Programming
Lifschitz, Vladimir.
Bok Engelsk 2019 · Vis mer
Logic, algebra and databases
Gray, Peter M.D.
Bok Engelsk 1984 · Vis mer
Logic for programming, artificial intelligence, and reasoning : 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003 : proceedings
LPAR 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logic for programming, artificial intelligence, and reasoning : 9th international conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 : proceedings
LPAR 2002
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Programming languages : implementations, logics, and programs : 7th international symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings
PLILP '95
Bok Engelsk 1995 · Vis mer
6800 programming for logic design
[by Adam Osborne]
Bok Engelsk 1977 · Vis mer
Logic for applications
Anil Nerode, Richard A. Shore.
Bok Engelsk 1997 · Vis mer