Matches in Library of Congress for { <http://lccn.loc.gov/2008942100> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2008942100 contributor B11390864.
- 2008942100 created "c2008.".
- 2008942100 date "2008".
- 2008942100 date "c2008.".
- 2008942100 dateCopyrighted "c2008.".
- 2008942100 description "Includes bibliographical references and index.".
- 2008942100 description "Welcome to constraint handling rules / Thom Frühwirth -- Search. A flexible search framework for CHR / Leslie De Koninck, Tom Schrijvers, and Bart Demoen. Adaptive CHR meets CHR[superscript v] : an extended refined operational semantics for CHR[superscript v] based on justifications / Armin Wolf, Jacques Robin, and Jairson Vitorino -- Applications. Constructing rule-based solvers for intentionally-defined constriants / Ingi Sobhi, Slim Abdennadher, and Hariolf Betz. Implementing probabilistic abductive logic programming with constraint handling rules / Henning Christiansen -- Theory. A compositional semantics for CHR with propagation rules / Maurizio Gabbrielli, Maria Chiara Meo, and Paolo Tacchella -- Implementation. CHR for imperative host languages / Peter Van Weert ... [et al.]. Guard reasoning in the refined operational semantics of CHR / Jon Sneyers, Tom Schrijvers, and Bart Demoen.".
- 2008942100 extent "244 p. :".
- 2008942100 identifier "3540922423 (pbk.)".
- 2008942100 identifier "9783540922421 (pbk.)".
- 2008942100 isPartOf "Lecture notes in computer science, 0302-9743 ; 5388. Lecture notes in artificial intelligence".
- 2008942100 isPartOf "State-of-the-art survey".
- 2008942100 issued "2008".
- 2008942100 issued "c2008.".
- 2008942100 language "eng".
- 2008942100 publisher "Berlin ; New York : Springer,".
- 2008942100 subject "005.116 22".
- 2008942100 subject "Constraint programming (Computer science)".
- 2008942100 subject "QA76.612 .C65 2008".
- 2008942100 tableOfContents "Welcome to constraint handling rules / Thom Frühwirth -- Search. A flexible search framework for CHR / Leslie De Koninck, Tom Schrijvers, and Bart Demoen. Adaptive CHR meets CHR[superscript v] : an extended refined operational semantics for CHR[superscript v] based on justifications / Armin Wolf, Jacques Robin, and Jairson Vitorino -- Applications. Constructing rule-based solvers for intentionally-defined constriants / Ingi Sobhi, Slim Abdennadher, and Hariolf Betz. Implementing probabilistic abductive logic programming with constraint handling rules / Henning Christiansen -- Theory. A compositional semantics for CHR with propagation rules / Maurizio Gabbrielli, Maria Chiara Meo, and Paolo Tacchella -- Implementation. CHR for imperative host languages / Peter Van Weert ... [et al.]. Guard reasoning in the refined operational semantics of CHR / Jon Sneyers, Tom Schrijvers, and Bart Demoen.".
- 2008942100 title "Constraint handling rules : current research topics / Tom Schrijvers, Thom Frühwirth (eds.).".
- 2008942100 type "text".