Tools

LEADER 02807cam a2200361 a 4500

005 20141212121431.0;

008 950227s1995 gw a b 000 0 eng ;

010 a| 95010074;

020 a| 3540591559 (Berlin : acid-free paper);

020 a| 0387591559 (New York : acid-free paper);

035 a| (Sirsi) o32166707;

035 a| (OCoLC)32166707;

049 a| EREE;

050 00 a| QA76.612b| .C67 1995;

082 00 a| 005.1/12| 20;

245 00 a| Constraint programming :b| basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers /c| Andreas Podelski, ed.;

300 a| ix, 316 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 910;

500 a| Papers presented at the 22nd Spring School in Theoretical Computer Science in Châtillon-sur-Seine, France, May 16-20, 1994.;

504 a| Includes bibliographical references.;

505 0 a| Interval constraint logic programming / Frédéric Benhamou -- Solving pseudo-boolean constraints / Alexander Bockmayr -- Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods / Philippe Codognet and Giuseppe Nardiello -- Constraints in term algebras / Hubert Comon -- Constructive negation by pruning and optimization higher-order predicates for CLP and CC languages / François Fages -- Constraint handling rules / Thom Frühwirth -- Linear constraint solving in CLP-languages / Jean-Louis J. Imbert -- On the use of constraints in automated deduction / Hélène Kirchner -- Abstract interpretation and finite domain symbolic constraints / Baudouin Le Charlier -- Concurrency and concurrent constraint programming / Ugo Montanari and Francesca Rossi -- Toupie : a constraint language for model checking / Antoine Rauzy -- Imagining CLP ([delta, is identical with]αβ) / Olivier Ridoux -- An architecture for cooperating constraint solvers on reals / Michel Rueher -- The definition of Kernel Oz / Gert Smolka -- Design, implementation, and evaluation of the constraint language cc(FD) / Pascal Van Hentenryck, Vijay Sawaswat and Yves Deville.;

650 0 a| Constraint programming (Computer science)=| ^A374968;

700 1 a| Podelski, Andreas.=| ^A375909;

711 2 a| French Spring School of Theoretical Computer Sciencen| (22nd :d| 1994 :c| Châtillon-sur-Seine, France)?| UNAUTHORIZED;

830 0 a| Lecture notes in computer sciencev| 910.=| ^A466336;

596 a| 1;

998 a| 593321;

999 a| QA76.612 .C67 1995w| LCc| 1i| 30372009395010d| 2/13/2013e| 2/6/2001f| 2/13/2013g| 1l| JGESm| JOYNERn| 3r| Ys| Yt| JGESBKu| 4/30/1996x| BOOKz| JSTACKSo| .STAFF. 0;

Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers / Andreas Podelski, ed.

Other author	Podelski, Andreas.
Other author	French Spring School of Theoretical Computer Science 1994 : Châtillon-sur-Seine, France)
Format	Book
Publication Info	Berlin ; New York : Springer-Verlag, ©1995.
Description	ix, 316 pages : illustrations ; 24 cm.
Subjects	Constraint programming (Computer science)

Series	Lecture notes in computer science ; 910 Lecture notes in computer science 910. ^A466336
Contents	Interval constraint logic programming / Frédéric Benhamou -- Solving pseudo-boolean constraints / Alexander Bockmayr -- Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods / Philippe Codognet and Giuseppe Nardiello -- Constraints in term algebras / Hubert Comon -- Constructive negation by pruning and optimization higher-order predicates for CLP and CC languages / François Fages -- Constraint handling rules / Thom Frühwirth -- Linear constraint solving in CLP-languages / Jean-Louis J. Imbert -- On the use of constraints in automated deduction / Hélène Kirchner -- Abstract interpretation and finite domain symbolic constraints / Baudouin Le Charlier -- Concurrency and concurrent constraint programming / Ugo Montanari and Francesca Rossi -- Toupie : a constraint language for model checking / Antoine Rauzy -- Imagining CLP ([delta, is identical with]αβ) / Olivier Ridoux -- An architecture for cooperating constraint solvers on reals / Michel Rueher -- The definition of Kernel Oz / Gert Smolka -- Design, implementation, and evaluation of the constraint language cc(FD) / Pascal Van Hentenryck, Vijay Sawaswat and Yves Deville.
General note	Papers presented at the 22nd Spring School in Theoretical Computer Science in Châtillon-sur-Seine, France, May 16-20, 1994.
Bibliography note	Includes bibliographical references.
LCCN	95010074
ISBN	3540591559 (Berlin : acid-free paper)
ISBN	0387591559 (New York : acid-free paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.612 .C67 1995	✔ Available	Place Hold

Constraint programming : basics and trends : 1994 Châtillon Spring School, Châtillon-sur-Seine, France, May 16-20, 1994 : selected papers / Andreas Podelski, ed.

Click here for more information about this title

Availability