Programming with Constraints An Introduction

Programming with Constraints An Introduction

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριοι συγγραφείς:	Marriott, Kim (Συγγραφέας), Stuckey, Peter J. (Συγγραφέας)
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	cambridge Mass. Massachusetts Institute of Technology Cambridge Mass. c1998
Θέματα:	COMPUTER PROGRAMMING CONSTRAINT PROGRAMMING LOGIC PROGRAMMING

Παρόμοια τεκμήρια

Constraint Logic Programming Selected Research
Έκδοση: (1993)

Logic programming
Έκδοση: (1982)

Foundations of inductive logic programming
ανά: Nienhuys-Cheng, Shan-Hwei, κ.ά.
Έκδοση: (1997)

From logic to logic programming
ανά: Doets, Kees
Έκδοση: (1994)

Logic Programming and Databases
ανά: Ceri, S., κ.ά.
Έκδοση: (1990)

Logic programming Proceedings of the 5th International Conference and Symposium
Έκδοση: (1988)

Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
Έκδοση: (1987)

Logic programming Proceedings of the 4th International Conference [Melbourne, 1987]
Έκδοση: (1987)

Computing in Horn Clause Theories
ανά: Padawitz, Peter
Έκδοση: (1988)

Logic programming Proceedings of the 5th International Conference and Symposium
Έκδοση: (1988)

The logic programming paradigm A 25-year perspective
Έκδοση: (1999)

Constraint satisfaction problems : CSP formalisms and techniques /
ανά: Ghédira, Khaled
Έκδοση: (2013)

Theorem proving and logic programming with constrains Dangstuhl-Seminar-Report; 24 21.10.-25.10.91(9143)

Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
Έκδοση: (2003)

Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Έκδοση: (2004)

Proceedings of the 1st ACM SIGPLAN International Workshop on Machine Learning and Programming Languages
Έκδοση: (2017)

Concurrent Constraint Programming
ανά: Saraswat, Vijay A.
Έκδοση: (1993)

Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Έκδοση: (1992)

Integration of functional and logic programming Dagstuhl-Seminar-Report; 10 18.-22.3.1991(9112)

Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Έκδοση: (1990)

Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Έκδοση: (1988)

Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Έκδοση: (2005)

Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Έκδοση: (2008)

Principles and Practice of Constraint Programming The Newport Papers
Έκδοση: (1995)

Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming
Έκδοση: (2012)

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming
Έκδοση: (2015)

Logic programming Proceedings of the 4th Conference. Tokyo, Japan, July 1-3, 1985.
Έκδοση: (1986)

Proceedings of the 2015 ACM SIGCOMM Workshop on Crowdsourcing and Crowdsharing of Big (Internet) Data
Έκδοση: (2015)

Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Έκδοση: (1991)

Autonomous model-based diagnosis agents
ανά: Schroeder, Michael
Έκδοση: (1998)

Tree-based graph partitioning constraint /
ανά: Lorca, Xavier
Έκδοση: (2011)

Functional programming
ανά: Field, Anthony J., κ.ά.
Έκδοση: (1988)

Functional programming Application and implementation
ανά: Henderson, Peter
Έκδοση: (1980)

Structure and interpretation of computer programs
ανά: Abelson, Harold, κ.ά.
Έκδοση: (1985)

Structured programming
ανά: Dahl, O. J., κ.ά.
Έκδοση: (1972)

The science of programming
ανά: Gries, David
Έκδοση: (1981)

The logic of programming
ανά: Hehner, Eric C.
Έκδοση: (1984)

A method of programming
ανά: Dijkstra, Edsger Wybe, κ.ά.
Έκδοση: (1988)

Tutorial on structured programming Integrated practices
ανά: Baker, F. T., κ.ά.
Έκδοση: (1981)

Abstraction and specification in program development
ανά: Guttag, John, κ.ά.
Έκδοση: (1986)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών