Cover Image

Principles and Practice of Constraint Programming - CP'99 : 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings /

Show other versions (1)

Bibliographic Details
Main Author:	Jaffar, Joxan
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.
Series:	Lecture notes in computer science ; 1713.
Subjects:	Artificial intelligence. Computer science. Logic design. Artificial Intelligence > (incl. Robotics) Logics and Meanings of Programs. Programming Languages, Compilers, Interpreters. Programming Techniques. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings /
by: Baader, Franz
Published: (2003)

ALPUK 91 : Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991 /
by: Wiggins, Geraint A.
Published: (1992)

Principles and Practice of Constraint Programming CP98 : 4th International Conference, CP98 Pisa, Italy, October 2630, 1998 Proceedings /
Published: (1998)

Essentials of Constraint Programming /
by: Frühwirth, Thom
Published: (2003)

Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP '95, Cassis, France, September 19-22, 1995. Proceedings /
by: Montanari, Ugo
Published: (1995)

Principles and Practice of Constraint Programming - CP'96 : Second International Conference, CP '96, Cambridge, MA, USA, August 19-22, 1996. Proceedings /
by: Freuder, Eugene C.
Published: (1996)

Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings /
by: Hunt, Jr., Warren A.
Published: (2003)

LISP, Lore, and Logic : an Algebraic View of LISP Programming, Foundations, and Applications /
by: Stark, W. Richard
Published: (1990)

Logic Program Synthesis and Transformation : Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2-3 July 1992 /
by: Lau, Kung-Kiu
Published: (1993)

The Parametric Lambda Calculus : A Metamodel for Computation /
by: Rocca, Simona Ronchi Della
Published: (2004)

Logic Program Synthesis and Transformation - Meta-Programming in Logic : 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-21, 1994. Proceedings /
by: Fribourg, Laurent
Published: (1994)

First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1990)

Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings /
by: Shapiro, Ehud
Published: (1986)

ALPUK92 : Proceedings of the 4th UK Conference on Logic Programming, London, 30 March - 1 April 1992 /
by: Broda, Krysia
Published: (1993)

Algebraic Approaches to Program Semantics /
by: Manes, Ernest G.
Published: (1986)

CONCURRENCY 88 : International Conference on Concurrency Hamburg, FRG, October 18-19, 1988 Proceedings /
Published: (1988)

Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings /
by: Dix, Jürgen
Published: (1991)

The Logic of Partial Information /
by: Abdallah, Areski Nait
Published: (1995)

Logic for Applications /
by: Nerode, Anil
Published: (1997)

Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990 /
by: Lloyd, John W.
Published: (1990)

Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings /
by: Eijck, J. van (Jan)
Published: (1991)

Automata and Languages : Theory and Applications /
by: Meduna, Alexander
Published: (2000)

State-Space Search : Algorithms, Complexity, Extensions, and Applications /
by: Zhang, Weixiong
Published: (1999)

Beyond two : theory and applications of multiple-valued logic /
Published: (2003)

Logic Programming and Databases /
by: Ceri, Stefano
Published: (1990)

Logic, Algebra, and Computation : International Summer School /
by: Bauer, Friedrich L.
Published: (1991)

Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings /
by: Bruynooghe, M. (Maurice)
Published: (1993)

Mathematical Methods in Program Development /
by: Broy, Manfred
Published: (1997)

Compiler Generators : What They Can Do, What They Might Do, and What They Will Probably Never Do /
by: Tofte, Mads
Published: (1990)

Constructive Methods in Computing Science : International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare /
by: Broy, Manfred
Published: (1989)

Multiagent system technologies : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings /
Published: (2011)

Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 : revised selected papers /
Published: (2011)

Programming in Prolog /
by: Clocksin, William F.
Published: (1984)

Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992 : proceedings /
Published: (1992)

Machines, Languages, and Complexity : 5th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, November 14-18, 1988 Selected Contributions /
Published: (1989)

Knowledge Representation and Defeasible Reasoning /
by: Kyburg, Henry E.
Published: (1990)

Logic-Based Artificial Intelligence /
by: Minker, Jack
Published: (2000)

Frontiers in Belief Revision /
by: Williams, Mary-Anne
Published: (2001)

Conceptual modeling - ER 2011 : 30th International Conference, ER 2011, Brussels, Belgium, October 31 - November 3, 2011 : proceedings /
Published: (2011)

Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /
Published: (2011)