Constraint Processing : Selected Papers

>> Google Books

Constraint Processing : Selected Papers / edited by Manfred Meyer

Edition:

1st ed. 1995

Format:

eBook

Description:

IV, 296 p.

Series:

Lecture Notes in Computer Science ; 923

Authors:

ISBN:

9783540492818 [354049281X]
9783662177044 [3662177048]
9783540594796 [3540594795]

NCID:

EB00004032

Holding items in this series

Full Text

Holdings

Bibliography Details

Note:

This volume contains 15 thoroughly refereed full research papers selected from the presentations given during two workshops on constraint processing; these workshops were held in conjunction with the International Congress on Computer Systems and Applied Mathematics (St. Petersburg, Russia, July 1993) and the European Conference on Artificial Intelligence (Amsterdam, The Netherlands, August 1994). This volume essentially contributes to integrating the different approaches to the young and very active field of constraint processing by offering papers from logic programming, knowledge representation, expert systems, theoretical computer science, operations research, and other fields. Among contributions are two surveys, by Podelski and van Roy and by Freuder.

Subject:

Artificial Intelligence; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Programming Techniques; Software Engineering

Table of Contents:

Tokyo Tech Book Review

Similar Items:

1 eBook Principles and Practice of Constraint Programming - CP97 : Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 Smolka, Gert., SpringerLink (Online service)	7 eBook Principles and Practice of Constraint Programming - CP98 : 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings Maher, Michael., Puget, Jean-Francois., SpringerLink (Online service)
2 eBook Principles and Practice of Constraint Programming - CP 2004 : 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings Wallace, Mark., SpringerLink (Online service)	8 eBook New Trends in Constraints : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers Apt, Krzysztof R., Kakas, Antonis., Monfroy, Eric., Rossi, Francesca., SpringerLink (Online service)
3 eBook Principles and Practice of Constraint Programming - CP 2002 : 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings Hentenryck, Pascal Van., SpringerLink (Online service)	9 eBook Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, … Apt, Krzysztof R., Fages, Francois., Rossi, Francesca., Szeredi, Peter., Váncza, Josef., SpringerLink (Online service)
4 eBook Principles and Practice of Constraint Programming - CP 2001 : 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings Walsh, Toby., SpringerLink (Online service)	10 eBook Logic Programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings Palamidessi, Catuscia., SpringerLink (Online service)
5 eBook Principles and Practice of Constraint Programming - CP'96 : Second International Conference, CP '96, Cambridge, MA, USA, August 19 - 22, 1996. Proceedings Freuder, Eugene C., SpringerLink (Online service)	11 eBook Programming Language Implementation and Logic Programming : 5th International Symposium, PLILP '93, Tallinn, Estonia, August 25-27, 1993. Proceedings Bruynooghe, Maurice., Penjam, Jaan., SpringerLink (Online service)
6 eBook Principles and Practice of Constraint Programming - CP '95 : First International Conference, CP '95, Cassis, France, September 19 - 22, 1995. Proceedings Montanari, Ugo., Rossi, Francesca., SpringerLink (Online service)	12 eBook Logic Programming : 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings Demoen, Bart., Lifschitz, Vladimir., SpringerLink (Online service)

1

2

3

4

5

6

7

8

9

10

11

12