Livres sur le sujet « Logic Constraints »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs livres pour votre recherche sur le sujet « Logic Constraints ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les livres sur diverses disciplines et organisez correctement votre bibliographie.
Vlahavas, Ioannis. Parallel and Constraint Logic Programming : An Introduction to Logic, Parallelism and Constraints. Boston, MA : Springer US, 1998.
Trouver le texte intégralVlahavas, Ioannis. Parallel and constraint logic programming : An introduction to logic, parallelism and constraints. Boston : Kluwer Academic Publishers, 1998.
Trouver le texte intégralReiter, Raymond. On integrity constraints. Toronto : University of Toronto, Dept. of Computer Science, 1989.
Trouver le texte intégralStuckey, Peter J. Programming with constraints : An introduction. Cambridge, Mass : MIT Press, 1998.
Trouver le texte intégralChristensen, David Phiroze. Putting logic in its place : Formal constraints on rational belief. Oxford : Clarendon Press, 2004.
Trouver le texte intégralFuzzy logic in data modeling : Semantics, constraints, and database design. Boston : Kluwer Academic, 1998.
Trouver le texte intégralChen, Guoqing. Fuzzy logic in data modeling : Semantics, constraints, and database design. Boston, MA : Springer, 1998.
Trouver le texte intégralMichael, Jampel, Freuder Eugene C, Maher Michael 1959- et CP '95 (1995 : Cassis, France), dir. Over-constrained systems. Berlin : Springer, 1996.
Trouver le texte intégralB, O'Sullivan, dir. Recent advances in constraints : Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers. Berlin : Springer, 2003.
Trouver le texte intégralLarrosa, Javier. Recent Advances in Constraints : 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Trouver le texte intégralJean-Pierre, Jounnaud, dir. Constraints in computational logics : First international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings. Berlin : Springr-Verlag, 1994.
Trouver le texte intégralInternational Workshop on Constraint Solving and Constraint Logic Programming (2003 Budapest, Hungary). 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. Berlin : Springer, 2004.
Trouver le texte intégralFrancisco, Azevedo, et European Research Consortium for Informatics and Mathematics., dir. Recent advances in constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006, Caparica, Portugal, June 26-28, 2006 : revised selected and invited papers. Berlin : Springer-Verlag, 2007.
Trouver le texte intégralInternational Conference, CCL '94 (1st 1994 Munich, Germany). Constraints in computational logics : First international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings. Berlin : Springer-Verlag, 1994.
Trouver le texte intégralBrahim, Hnich, European Research Consortium for Informatics and Mathematics. et CoLogNET, dir. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 : revised selected and invited papers. Berlin : Springer, 2006.
Trouver le texte intégral(Francesca), Rossi F., Fages François et SpringerLink (Online service), dir. Recent Advances in Constraints : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Trouver le texte intégralFrançois, Fages, Rossi Francesca 1962- et Soliman Sylvain, dir. Recent advances in constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers. Berlin : Springer, 2008.
Trouver le texte intégralERCIM International Workshop on Constraint Solving and Constraint Logic Programming (12th 2007 Roquencourt, France). Recent advances in constraints : 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers. Berlin : Springer, 2008.
Trouver le texte intégralEhrig, Hartmut. Fundamentals of algebraic specification 2 : Module specifications and constraints. Berlin : Springer-Verlag, 1990.
Trouver le texte intégralBoi, Faltings, European Research Consortium for Informatics and Mathematics. Working Group on Constraints. et CoLogNET, dir. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers. Berlin : Springer, 2005.
Trouver le texte intégralThe complexity of valued constraint satisfaction problems. Heidelberg : Springer, 2012.
Trouver le texte intégralComputational phonology : A constraint-based approach. Cambridge : Cambridge University Press, 1995.
Trouver le texte intégralDistributed constraint logic programming. Singapore : World Scientific, 1993.
Trouver le texte intégralJouannaud, Jean-Pierre, dir. Constraints in Computational Logics. Berlin, Heidelberg : Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/bfb0016839.
Texte intégralGoos, Gerhard, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché et Ralf Treinen, dir. Constraints in Computational Logics. Berlin, Heidelberg : Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45406-3.
Texte intégralHanus, Michael, et Claudio Sacerdoti Coen, dir. Functional and Constraint Logic Programming. Cham : Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-75333-7.
Texte intégralEscobar, Santiago, dir. Functional and Constraint Logic Programming. Berlin, Heidelberg : Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-11999-6.
Texte intégralKuchen, Herbert, dir. Functional and Constraint Logic Programming. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22531-4.
Texte intégralMariño, Julio, dir. Functional and Constraint Logic Programming. Berlin, Heidelberg : Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-20775-4.
Texte intégralVlahavas, Ioannis, Panagiotis Tsarchopoulos et Ilias Sakellariou. Parallel and Constraint Logic Programming. Boston, MA : Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5119-5.
Texte intégralSilva, Josep, dir. Functional and Constraint Logic Programming. Cham : Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-16202-3.
Texte intégralHentenryck, Pascal Van. Constraint satisfaction in logic programming. Cambridge, Mass : MIT Press, 1989.
Trouver le texte intégralFrédéric, Benhamou, et Colmerauer A, dir. Constraint logic programming : Selected research. Cambridge, Mass : MIT Press, 1993.
Trouver le texte intégralde, Castro Dutra Inês, dir. Parallelism and implementation of logic and constraint logic programming. Commack, NY : Nova Science Pub., 1999.
Trouver le texte intégralEfficient processing with constraint-logic grammars using grammar compilation. Stanford, CA : CSLI Publications, 2001.
Trouver le texte intégralPeter, Barth. Logic-based 0-1 constraint programming. Boston : Kluwer Academic Publishers, 1996.
Trouver le texte intégralBarth, Peter. Logic-Based 0–1 Constraint Programming. Boston, MA : Springer US, 1996. http://dx.doi.org/10.1007/978-1-4613-1315-1.
Texte intégralBarth, Peter. Logic-Based 0-1 Constraint Programming. Boston, MA : Springer US, 1996.
Trouver le texte intégralFrühwirth, Thom. Essentials of Constraint Programming. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003.
Trouver le texte intégralZhang, Ying. Constraint logic planning : A formal framework for nonlinear planning. Manchester : University of Manchester, 1994.
Trouver le texte intégralWilson, John M. Problem specification in constraint logic programming and integer programming. Loughborough, Leics : Loughborough University Business School, 1995.
Trouver le texte intégralSillince, John A. A. Using classification to constrain logic in constructing analogies. Sheffield : Sheffield University, School of Management, 1995.
Trouver le texte intégralFollowing the rules : Practical reasoning and deontic constraint. Oxford : Oxford University Press, 2008.
Trouver le texte intégralIan, Gent, dir. Principles and practice of constraint programming, CP 2009 : 15th international conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 : proceedings. Berlin : Springer, 2009.
Trouver le texte intégralThe logic of typed feature structures : With applications to unification grammars, logic programs, and constraint resolution. Cambridge : Cambridge University Press, 1992.
Trouver le texte intégralLogic Programming Languages : Constraints, Functions, and Objects (Logic Programming). The MIT Press, 1993.
Trouver le texte intégralLogic programming languages : Constraints, functions, and objects. Cambridge, Mass : MIT Press, 1993.
Trouver le texte intégral(Editor), Krzysztof R. Apt, J. W. de Bakker (Editor) et J. M. Rutten (Editor), dir. Logic Programming Languages : Constraints, Functions, and Objects. The MIT Press, 1993.
Trouver le texte intégralChristensen, David. Putting Logic in Its Place : Formal Constraints on Rational Belief. Oxford University Press, USA, 2004.
Trouver le texte intégralChristensen, David Phiroze. Putting Logic in Its Place : Formal Constraints on Rational Belief. Oxford University Press, Incorporated, 2004.
Trouver le texte intégral