Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.
Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 3150311 obálek a 950589 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.
Recent advances in constraints :joint ERCIM/CologNet international workshop on constraint solving and constraint logic programming, Cork, Ireland, June 19-21, 2002 : selected papers
Rok: c2003
ISBN: 9783540009863
OKCZID: 110046414
Citace (dle ČSN ISO 690):
O'SULLIVAN, Barry, 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, c2003. X, 199 s. Lecture notes in computer science. Lecture notes in artificial intelligence, 2627.
Anotace
This book constitutes the thoroughly refereed post-proceedings of the Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, held in Cork, Ireland in June 2002. The 14 revised full papers presented were carefully selected for inclusion in the book during two rounds of reviewing and revision. Among the topics addressed are verification and debugging of constraint logic programs, modeling and solving CSPs, explanation generation, inference and inconsistency processing, SAT and 0/1 encodings of CSPs, soft constraints and constraint relaxation, real-world applications, and distributed constraint solving.