Filter

Programmation Logique

52 books found

Foundations of Probabilistic Logic Programming
Foundations of Probabilistic Logic Programming

by Fabrizio Riguzzi

2018 9 ed.
Handbook of logic in artificial intelligence and logic programming
Handbook of logic in artificial intelligence and logic progr...

by Dov M. Gabbay, Christopher John Hogger

1993 8 ed.
Time and Logic
Time and Logic

by Leonard Bolc, Andrzej Szałas

2019 6 ed.
Constraint logic programming using ECLiPSe
Constraint logic programming using ECLiPSe

by Krzysztof R. Apt, Mark Wallace

2006 6 ed.
Mathematical Aspects Of Logic Programming Semantics
Mathematical Aspects Of Logic Programming Semantics

by Anthony Seda

2010 6 ed.
Logical and Relational Learning
Logical and Relational Learning

by Luc De Raedt

2008 4 ed.
Logic programming
Logic programming

by Jean-Louis Lassez

1987 3 ed.
Logic programming
Logic programming

by David H. D. Warren

1990 3 ed.
Foundations of equational logic programming
Foundations of equational logic programming

by Steffen Hölldobler

1989 2 ed.
Logic Programming
Logic Programming

by Koichi Furukawa

1991 2 ed.
Logics of Programs
Logics of Programs

by D. Kozen

1982 2 ed.
Logic Programming
Logic Programming

by Peter J. Stuckey

2002 2 ed.
Logic and declarative language
Logic and declarative language

by Michael Downward

1998 2 ed.
Logic programming
Logic programming

by Maurizio Gabbrielli, Gopal Gupta

2005 2 ed.
Logic programming
Logic programming

by Manuel Hermenegildo

1990 2 ed.
From logic to logic programming
From logic to logic programming

by Kees Doets

1994 2 ed.
Programming with constraints
Programming with constraints

by Kim Marriott

1998 2 ed.
From logic design to logic programming
From logic design to logic programming

by Dominique Snyers

1987 2 ed.
Logic Programming
Logic Programming

by Philippe Codognet

2001 2 ed.
Programming language implementation and logic programming
Programming language implementation and logic programming

by PLILP '92 (1992 Louvain, Belgium), Belgium) Plilp 9 (1992 Louvain

1992 2 ed.