Constraint logic programming using ECLiPSe

Logic programmingConstraint programming (Computer science)Programmation par contraintesProgrammation logiqueConstraint programming (computer science)

0.0

Open Library

Themes & subjects

Logic programmingConstraint programming (Computer science)Programmation par contraintesProgrammation logiqueConstraint programming (computer science)

Authors

Krzysztof R. Apt, Mark Wallace

Pages

329

Read time

≈ 8h

Editions

Language

English

Publisher

Cambridge University Press

ISBN

9781281085719

Where to buy

Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Logic programming · Congresses

Logic for programming artificial intelligence and reasoning

Moshe Y. Vardi

2003

Logic programming · Machine theory

Foundations of Probabilistic Logic Programming

Fabrizio Riguzzi

2018

Computable functions · Computer science

Discrete structures, logic, and computability

James L. Hein

1994

Logic programming · Symbolic and mathematical Logic

Handbook of logic in artificial intelligence and logic programming

Dov M. Gabbay

1993

Literature · Collections

The experience of literature

Lionel Trilling

1967

Semantics · Programming languages (electronic computers)

Rules and Reasoning

Stefania Costantini

2017

Mathematics · Computer logic

Logic functions and equations

Christian Posthoff

2005

Civilization · Collections

Heritage of Western civilization

John Louis Beatty

1958

Logic programming · Prolog (Computer program language)

Programming with higher-order logic

Dale Miller

2012

Logic programming · Programming languages (electronic computers)

Mathematical Aspects Of Logic Programming Semantics

Anthony Seda

2010

Automatic theorem proving · Logic programming

Logic Programming

James H. Andrews

1992

Constraint programming (Computer science)

Trends in constraint programming

Frédéric Benhamou

2007

Water-supply · Water rights

Transboundary Water Resources Management

Jacques Ganoulis

2011

Computer algorithms · Constraint programming (Computer science)

Constraint networks

Christophe Lecoutre

2009

MATHEMATICS / Probability & Statistics / General · Constraint programming (Computer science)

Tree-based graph partitioning constraint

Xavier Lorca

2011

Computer games · Constraint programming (Computer science)

Constraint-Based Agents

Alexander Nareyek

2001

Combinatorial optimization · Computer algorithms

Combinatorial Search

Youssef Hamadi

2013

Integrated circuits · Electronic circuit design

Constraining Designs for Synthesis and Timing Analysis

Sanjay Churiwala

2013