Call Number (LC) Title Results
QA76.612 .N49 2000 New trends in constraints : joint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers / 1
QA76.612 .N49 2000eb New trends in constraints joint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers / 1
QA76.612 .P48 2009eb A class of algorithms for distributed constraint optimization / 1
QA76.612 .P75 1995 Principles and practice of constraint programming : the Newport papers / 1
QA76.612 .P75 1995eb Principles and practice of constraint programming : the Newport papers / 1
QA76.612 .S38 2002 Programming constraint services : high-level programming of standard and new constraint services / 1
QA76.612 .S6513 Ant Colony Optimization and Constraint Programming. 2
QA76.612 .T74 2007 Trends in constraint programming 1
QA76.612 .W67 1994 Principles and practice of constraint programming : second international workshop, PPCP '94, Rosario, Orcas Island, WA, USA, May 2-4, 1994 : proceedings / 1
QA76.615 Practical aspects of declarative languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, proceedings /
Analysis, verification and transformation for declarative programming and intelligent systems : essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday /
Principles of declarative programming 10th International Symposium, PLILP'98 : held jointly with the 6th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings /
Declarative programming and knowledge management : Conference on Declarative Programming, DECLARE 2017, unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19-22, 2017, Revised selected papers /
Declarative programming and knowledge management : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised selected papers /
Applications of declarative programming and knowledge management : 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised selected papers /
Declarative programming and knowledge management Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers /
Practical aspects of declarative languages : 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings / 		8
QA76.615 .A67 2009 Applications of declarative programming and knowledge management 17th international conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007 : revised selected papers / 1
QA76.615 .I57 2004 Applications of declarative programming and knowledge management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers /
Applications of declarative programming and knowledge management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004 : revised selected papers / 		4
QA76.615 .I57 2005 Declarative programming for knowledge management 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005 : revised selected papers / 1
QA76.615 .I57 2005eb Declarative programming for knowledge management 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005 : revised selected papers / 1
QA76.615 .I58 2011 Applications of declarative programming and knowledge management 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised selected papers /
Declarative Agent Languages and Technologies VIII 8th international workshop, DALT 2010, Toronto, Canada, May 10, 2010 : revised, selected and invited papers / 		2
QA76.615 .I58 2012 Declarative agent languages and technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 : revised selected papers / 1
QA76.615 .I584 2010 Declarative agent languages and technologies VII 7th international workshop, DALT 2009, Budapest, Hungary, May 11, 2009 : revised selected and invited papers / 1
QA76.615 .L663 2012 Declarative networking 1
QA76.615 .P33 1992eb Deduction and declarative programming / 1
QA76.615 .P33 2009eb Practical aspects of declarative languages 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009 : proceedings / 1