New trends in constraints : :: SCD d'Orléans

New trends in constraints : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25 27, 1999 : selected papers

New trends in constraints : Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25 27, 1999 : selected papers

This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/Compulog-Net Workshop on New Trends in Constraints held in Paphos, Cyprus, Greece in October 1999. The 12 revised full research papers presented together with four surveys by leading researchers were carefully reviewed...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Apt, Krzysztof R., 1949-
Weitere Verfasser:	Kakas, Antonis C. (Verlagsleitung), Monfroy, Éric (Verlagsleitung)
Format:	Livre numérique
Sprache:	Anglais
Veröffentlicht:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Schriftenreihe:	Lecture notes in computer science. Lecture notes in artificial intelligence 1865
Schlagworte:	Informatique Langages de programmation Ordinateurs Intelligence artificielle Logique symbolique et mathématique Programmation par contraintes Actes de congrès
Online Zugang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Anmerkung:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• New trends in constraints, joint ERCIM Compulog-Net workshop, Paphos, Cyprus, October 1999, selected papers, Krzysztof R. Apt, Antonis C. Kakas, Eric Monfroy ... [et al.] (eds.), New York, Springer, 2000, 1 vol. (X-338 p.), Lecture notes in computer science, 3-540-67885-9 • New Trends in Constraints, Texte imprimé, 9783662163009

Ähnliche Einträge

Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19 21, 2002 : selected papers
von: O'Sullivan, Barry

Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers

Constraint processing : selected papers

Principles and practice of constraint programming - CP 2001 : 7th international conference, CP 2001, Paphos, Cyprus, November 26 December 1, 2001 : proceedings

Constraints in computational logics : theory and applications : International Summer School, CCL 99, Gif-sur-Yvette, France, September 5 8, 1999 : revised lectures

Principles and practice of constraint programming : CP 2004 : 10th international conference, CP 2004 Toronto, Canada, September 27 - October 1, 2004 : proceedings

Analysis and visualization tools for constraint programming : constraint debugging
von: Deransart, Pierre, 1945-...., informaticien

Principles and practice of constraint programming - CP 97 : Third International Conference, CP 97, Linz, Austria, October 29 November 1, 1997 : proceedings

Principles and practice of constraint programming - CP98 : 4th international conference, CP98, Pisa, Italy, October 26-30, 1998 : proceedings

Principles and practice of constraint programming CP 2003 : 9th international conference, CP 2003, Kinsale, Ireland, September 29-October 3, 2003 : proceedings

Over-constrained systems : [Papers from a workshop held Sept. 1995 as part of the First International Conference on Principles and Practice of Constraint Programming, at Cassis, France]

Principles and practice of constraint programming - CP '95 : first international conference, CP '95, Cassis, France, September 19-22, 1995 : proceedings

Principles and practice of constraint programming : CP 2002 : 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002 : Proceedings
von: Van Hentenryck, Pascal, 1963-
Veröffentlicht: (2003)

Principles and practice of constraint programming CP 2000 : 6th International Conference, CP 2000, Singapore, September 18 21, 2000 : proceedings

Principles and practice of constraint programming - CP96 : Second International Conference, CP96, Cambridge, MA, USA, August 19-22, 1996 : proceedings

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001 Paphos, Cyprus, November 28 30, 2001 : Selected papers

Logic programming : ; proceedings 17th international conference, ICLP 2001, Paphos, Cyprus, November 26-December 1, 2001

Programming constraint services : high-level programming of standard and new constraint services
von: Schulte, Christian, 19..-

Principles and practice of constraint programming CP 99 : 5th international conference, CP'99, Alexandria,VA, USA, October 11-14, 1999 : proceedings

Principles of constraint programming
von: Apt, Krzysztof R., 1949-
Veröffentlicht: (2003)

Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR 99, Venice, Italy, September 22-24, 1999 : selected papers

Principles and practice of constraint programming : second international workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings

Semirings for soft constraint solving and programming
von: Bistarelli, Stefano

Logic based program synthesis and transformation : ; revised selected papers 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003
von: Bruynooghe, Maurice

Logic based program synthesis and transformation : 10th International workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers

Logic-based program synthesis and transformation : 8th International Workshop, LOPSTR 98 Manchester, UK, June 15 19, 1998 : selected papers

Logic programming and knowledge representation : Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 17, 1997 : selected papers

Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
von: Fisher, Michael

Reasoning with logic programming
von: Alferes, José Júlio, 1966-, et al.

Constraint databases and applications : Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11 12, 1997, CP '96 Workshop on Constraints and Databases Cambridge, MA, USA, August 19, 1996 : selected papers

Programming language implementation and logic programming : 5th International Symposium, PLILP '93 Tallinn, Estonia, August 25 27, 1993 : proceedings

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings

Logic programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings

Programming languages : implementations, logics and programs : 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings

Programming language implementation and logic programming : 6th International Symposium, PLILP '94 Madrid, Spain, September 14 16, 1994 : proceedings

Logic programming : 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 August 1, 2002 : proceedings

Logic programming : 20th international conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004 : proceedings

Non-monotonic extensions of logic programming : Second International Workshop, NMELP '96, Bad Honnef, Germany, September 5 6, 1996 : selected papers
von: Dix, Jürgen, 1961-

Extensions of logic programming : 5th international workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
von: Dyckhoff, Roy, 1948-

Logic program synthesis and transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28 30, 1996 : proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales