Книги з теми "Logic Constraints"

Vlahavas, Ioannis. Parallel and Constraint Logic Programming: An Introduction to Logic, Parallelism and Constraints. Boston, MA: Springer US, 1998.

Vlahavas, Ioannis. Parallel and constraint logic programming: An introduction to logic, parallelism and constraints. Boston: Kluwer Academic Publishers, 1998.

Reiter, Raymond. On integrity constraints. Toronto: University of Toronto, Dept. of Computer Science, 1989.

Stuckey, Peter J. Programming with constraints: An introduction. Cambridge, Mass: MIT Press, 1998.

Christensen, David Phiroze. Putting logic in its place: Formal constraints on rational belief. Oxford: Clarendon Press, 2004.

Fuzzy logic in data modeling: Semantics, constraints, and database design. Boston: Kluwer Academic, 1998.

Chen, Guoqing. Fuzzy logic in data modeling: Semantics, constraints, and database design. Boston, MA: Springer, 1998.

Michael, Jampel, Freuder Eugene C, Maher Michael 1959-, and CP '95 (1995 : Cassis, France), eds. Over-constrained systems. Berlin: Springer, 1996.

B, O'Sullivan, ed. 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.

Larrosa, 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.

Jean-Pierre, Jounnaud, ed. Constraints in computational logics: First international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings. Berlin: Springr-Verlag, 1994.

International 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.

Francisco, Azevedo, and European Research Consortium for Informatics and Mathematics., eds. 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.

International 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.

Brahim, Hnich, European Research Consortium for Informatics and Mathematics., and CoLogNET, eds. 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.

(Francesca), Rossi F., Fages François, and SpringerLink (Online service), eds. 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.

François, Fages, Rossi Francesca 1962-, and Soliman Sylvain, eds. 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.

ERCIM 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.

Ehrig, Hartmut. Fundamentals of algebraic specification 2: Module specifications and constraints. Berlin: Springer-Verlag, 1990.

Boi, Faltings, European Research Consortium for Informatics and Mathematics. Working Group on Constraints., and CoLogNET, eds. 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.

The complexity of valued constraint satisfaction problems. Heidelberg: Springer, 2012.

Computational phonology: A constraint-based approach. Cambridge: Cambridge University Press, 1995.

Distributed constraint logic programming. Singapore: World Scientific, 1993.

Jouannaud, Jean-Pierre, ed. Constraints in Computational Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/bfb0016839.

Goos, Gerhard, Juris Hartmanis, Jan van Leeuwen, Hubert Comon, Claude Marché, and Ralf Treinen, eds. Constraints in Computational Logics. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45406-3.

Hanus, Michael, and Claudio Sacerdoti Coen, eds. Functional and Constraint Logic Programming. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-75333-7.

Escobar, Santiago, ed. Functional and Constraint Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-11999-6.

Kuchen, Herbert, ed. Functional and Constraint Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22531-4.

Mariño, Julio, ed. Functional and Constraint Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-20775-4.

Vlahavas, Ioannis, Panagiotis Tsarchopoulos, and Ilias Sakellariou. Parallel and Constraint Logic Programming. Boston, MA: Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5119-5.

Silva, Josep, ed. Functional and Constraint Logic Programming. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-16202-3.

Hentenryck, Pascal Van. Constraint satisfaction in logic programming. Cambridge, Mass: MIT Press, 1989.

Frédéric, Benhamou, and Colmerauer A, eds. Constraint logic programming: Selected research. Cambridge, Mass: MIT Press, 1993.

de, Castro Dutra Inês, ed. Parallelism and implementation of logic and constraint logic programming. Commack, NY: Nova Science Pub., 1999.

Efficient processing with constraint-logic grammars using grammar compilation. Stanford, CA: CSLI Publications, 2001.

Peter, Barth. Logic-based 0-1 constraint programming. Boston: Kluwer Academic Publishers, 1996.

Barth, Peter. Logic-Based 0–1 Constraint Programming. Boston, MA: Springer US, 1996. http://dx.doi.org/10.1007/978-1-4613-1315-1.

Barth, Peter. Logic-Based 0-1 Constraint Programming. Boston, MA: Springer US, 1996.

Frühwirth, Thom. Essentials of Constraint Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003.

Zhang, Ying. Constraint logic planning: A formal framework for nonlinear planning. Manchester: University of Manchester, 1994.

Wilson, John M. Problem specification in constraint logic programming and integer programming. Loughborough, Leics: Loughborough University Business School, 1995.

Sillince, John A. A. Using classification to constrain logic in constructing analogies. Sheffield: Sheffield University, School of Management, 1995.

Following the rules: Practical reasoning and deontic constraint. Oxford: Oxford University Press, 2008.

Ian, Gent, ed. Principles and practice of constraint programming, CP 2009: 15th international conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 : proceedings. Berlin: Springer, 2009.

The logic of typed feature structures: With applications to unification grammars, logic programs, and constraint resolution. Cambridge: Cambridge University Press, 1992.

Logic Programming Languages: Constraints, Functions, and Objects (Logic Programming). The MIT Press, 1993.

Logic programming languages: Constraints, functions, and objects. Cambridge, Mass: MIT Press, 1993.

(Editor), Krzysztof R. Apt, J. W. de Bakker (Editor), and J. M. Rutten (Editor), eds. Logic Programming Languages: Constraints, Functions, and Objects. The MIT Press, 1993.

Christensen, David. Putting Logic in Its Place: Formal Constraints on Rational Belief. Oxford University Press, USA, 2004.

Christensen, David Phiroze. Putting Logic in Its Place: Formal Constraints on Rational Belief. Oxford University Press, Incorporated, 2004.