Principles and Practice of Constraint Programming - CP'99 : 5th International Conference, CP'99, Alexandria, VA, USA, October 11-14, 1999 Proceedings /
| 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: | |
| 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)
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)
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)
Published: (1998)
Essentials of Constraint Programming /
by: Frühwirth, Thom
Published: (2003)
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)
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)
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)
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)
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)
by: Lau, Kung-Kiu
Published: (1993)
The Parametric Lambda Calculus : A Metamodel for Computation /
by: Rocca, Simona Ronchi Della
Published: (2004)
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)
by: Fribourg, Laurent
Published: (1994)
First-Order Logic and Automated Theorem Proving /
by: Fitting, Melvin
Published: (1990)
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)
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)
by: Broda, Krysia
Published: (1993)
Algebraic Approaches to Program Semantics /
by: Manes, Ernest G.
Published: (1986)
by: Manes, Ernest G.
Published: (1986)
CONCURRENCY 88 : International Conference on Concurrency Hamburg, FRG, October 18-19, 1988 Proceedings /
Published: (1988)
Published: (1988)
Nonmonotonic and Inductive Logic : 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings /
by: Dix, Jürgen
Published: (1991)
by: Dix, Jürgen
Published: (1991)
The Logic of Partial Information /
by: Abdallah, Areski Nait
Published: (1995)
by: Abdallah, Areski Nait
Published: (1995)
Logic for Applications /
by: Nerode, Anil
Published: (1997)
by: Nerode, Anil
Published: (1997)
Computational Logic : Symposium Proceedings, Brussels, November 13/14, 1990 /
by: Lloyd, John W.
Published: (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)
by: Eijck, J. van (Jan)
Published: (1991)
Automata and Languages : Theory and Applications /
by: Meduna, Alexander
Published: (2000)
by: Meduna, Alexander
Published: (2000)
State-Space Search : Algorithms, Complexity, Extensions, and Applications /
by: Zhang, Weixiong
Published: (1999)
by: Zhang, Weixiong
Published: (1999)
Beyond two : theory and applications of multiple-valued logic /
Published: (2003)
Published: (2003)
Logic Programming and Databases /
by: Ceri, Stefano
Published: (1990)
by: Ceri, Stefano
Published: (1990)
Logic, Algebra, and Computation : International Summer School /
by: Bauer, Friedrich L.
Published: (1991)
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)
by: Bruynooghe, M. (Maurice)
Published: (1993)
Mathematical Methods in Program Development /
by: Broy, Manfred
Published: (1997)
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)
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)
by: Broy, Manfred
Published: (1989)
Multiagent system technologies : 9th German Conference, MATES 2011, Berlin, Germany, October 6-7, 2011 : proceedings /
Published: (2011)
Published: (2011)
Implementation and Application of Functional Languages : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 : revised selected papers /
Published: (2011)
Published: (2011)
Programming in Prolog /
by: Clocksin, William F.
Published: (1984)
by: Clocksin, William F.
Published: (1984)
Logics in AI : European Workshop JELIA '92, Berlin, Germany, September 7-10, 1992 : proceedings /
Published: (1992)
Published: (1992)
Machines, Languages, and Complexity : 5th International Meeting of Young Computer Scientists Smolenice, Czechoslovakia, November 14-18, 1988 Selected Contributions /
Published: (1989)
Published: (1989)
Knowledge Representation and Defeasible Reasoning /
by: Kyburg, Henry E.
Published: (1990)
by: Kyburg, Henry E.
Published: (1990)
Logic-Based Artificial Intelligence /
by: Minker, Jack
Published: (2000)
by: Minker, Jack
Published: (2000)
Frontiers in Belief Revision /
by: Williams, Mary-Anne
Published: (2001)
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)
Published: (2011)
Certified programs and proofs : first International Conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011. Proceedings /
Published: (2011)
Published: (2011)