Constraint satisfaction in logic programming /
| Main Author: | Van Hentenryck, Pascal |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Mass. :
MIT Press,
[1989]
|
| Series: | Logic programming.
|
| Subjects: |
Similar Items
Constraint logic programming : selected research /
Published: (1993)
Published: (1993)
Residuation and guarded rules for constraint logic programming /
by: Smolka, Gert
Published: (1991)
by: Smolka, Gert
Published: (1991)
Distributed constraint logic programming /
by: Leung, Ho-Fung
Published: (1993)
by: Leung, Ho-Fung
Published: (1993)
Parallelism and implementation of logic and constraint logic programming /
Published: (1999)
Published: (1999)
Logic-based 0-1 constraint programming /
by: Barth, Peter, Ph. D.
Published: (1996)
by: Barth, Peter, Ph. D.
Published: (1996)
Programming with constraints : an introduction /
by: Marriott, Kim
Published: (1998)
by: Marriott, Kim
Published: (1998)
Logic programming : proceedings of the twelfth International Conference on Logic Programming /
Published: (1995)
Published: (1995)
Logic programming languages : constraints, functions, and objects /
Published: (1993)
Published: (1993)
Logic programming languages : constraints, functions, and objects /
Published: (1993)
Published: (1993)
Constraints in computational logics : theory and applications : international summer school, CCL'99, Gif-sur-Yvette, France, September 5-8, 1999, revised lectures /
Published: (2001)
Published: (2001)
Programming with constraints : an introduction /
by: Marriott, Kimbal, et al.
Published: (1998)
by: Marriott, Kimbal, et al.
Published: (1998)
Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)
by: Metakides, George, 1945-
Published: (1996)
Meta-logics and logic programming /
Published: (1995)
Published: (1995)
Implementations of logic programming systems /
Published: (1994)
Published: (1994)
Advances in logic programming theory /
Published: (1994)
Published: (1994)
From logic to logic programming /
by: Doets, Kees
Published: (1994)
by: Doets, Kees
Published: (1994)
Mathematical aspects of logic programming semantics /
by: Hitzler, Pascal
Published: (2011)
by: Hitzler, Pascal
Published: (2011)
Handbook of logic in artificial intelligence and logic programming.
Published: (2020)
Published: (2020)
Programming logic and design : introductory /
by: Farrell, Joyce
Published: (2011)
by: Farrell, Joyce
Published: (2011)
Meta-programming in logic programming /
Published: (1989)
Published: (1989)
Principles of logic and logic programming /
by: Metakides, George, 1945-
Published: (1996)
by: Metakides, George, 1945-
Published: (1996)
Types in logic programming /
Published: (1992)
Published: (1992)
Constructing logic programs /
Published: (1993)
Published: (1993)
Logic programming : proceedings of the 1999 International Conference on Logic Programming /
Published: (1999)
Published: (1999)
Logic programming : proceedings of the Tenth International Conference on Logic Programming /
Published: (1993)
Published: (1993)
Logic programming : proceedings of the eleventh International Conference on Logic Programming /
Published: (1994)
Published: (1994)
Functional and constraint logic programming : 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009 ; revised selected papers /
Published: (2010)
Published: (2010)
Functional and constraint logic programming : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010, Revised selected papers /
Published: (2011)
Published: (2011)
Logic programming : formal methods and practical applications /
Published: (1995)
Published: (1995)
Logic programming, functions, relations, and equations /
by: DeGroot, Doug
Published: (1986)
by: DeGroot, Doug
Published: (1986)
Logic programming : proceedings of the Joint International Conference and Symposium on Logic Programming /
Published: (1992)
Published: (1992)
Logic programming : proceedings of the 1998 Joint International Conference and Symposium on Logic Programming /
Published: (1998)
Published: (1998)
Inductive logic programming : techniques and applications /
by: Lavrač, Nada
Published: (1994)
by: Lavrač, Nada
Published: (1994)
Handbook of logic in artificial intelligence and logic programming /
Published: (1993)
Published: (1993)
A guide to programming logic and design : comprehensive /
by: Farrell, Joyce
Published: (1999)
by: Farrell, Joyce
Published: (1999)
Logic programming in action : Second international Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992 : proceedings /
Published: (1992)
Published: (1992)
Recent advances in constraints : Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers /
Published: (2003)
Published: (2003)
Foundations of equational logic programming /
by: Hölldobler, Steffen, 1957-
Published: (1989)
by: Hölldobler, Steffen, 1957-
Published: (1989)
Implementations of Logic Programming Systems /
by: Tick, Evan
Published: (1994)
by: Tick, Evan
Published: (1994)
Logic programming : proceedings of the sixth international conference /
Published: (1989)
Published: (1989)