-
Functional and Constraint Logic Programming – 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
Kuchen, Herbert 2011 Springer Berlin Heidelberg
-
Functional and Constraint Logic Programming – 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
Mariño, Julio 2011 Springer Berlin Heidelberg
-
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems – 8th International Conference, CPAIOR 2011, Berlin, Germany, May 23-27, 2011. Proceedings
Achterberg, Tobias ; Beck, J. Christopher 2011 Springer Berlin Heidelberg
-
Applications of Declarative Programming and Knowledge Management – 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
Abreu, Salvador ; Seipel, Dietmar 2011 Springer Berlin Heidelberg
-
Theory and Practice of Algorithms in (Computer) Systems – First International ICST Conference, TAPAS 2011, Rome, Italy, April 18-20, 2011. Proceedings
Marchetti-Spaccamela, Alberto ; Segal, Michael 2011 Springer Berlin Heidelberg
-
Recent Advances in Constraints – 14th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers
Larrosa, Javier ; O'Sullivan, Barry 2011 Springer Berlin Heidelberg
-
Logic for Programming, Artificial Intelligence, and Reasoning – 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
Bjørner, Nikolaj ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
-
Advances in Artificial Intelligence – IBERAMIA 2010 – 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010. Proceedings
2010 Springer Berlin Heidelberg
-
Advances in Artificial Intelligence – SBIA 2010 – 20th Brazilian Symposium on Artificial Intelligence, São Bernardo do Campo, Brazil, October 23-28, 2010. Proceedings
Kuri-Morales, Angel ; Simari, Guillermo R. 2011 Springer Berlin Heidelberg
-
Logic for Programming, Artificial Intelligence, and Reasoning – 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
Clarke, Edmund M. ; Voronkov, Andrei 2010 Springer Berlin Heidelberg
-
Principles and Practice of Constraint Programming - CP 2010 – 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
Cohen, David 2010 Springer Berlin Heidelberg
-
Computational Logic in Multi-Agent Systems – 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
Dix, Jürgen ; Fisher, Michael ; Novák, Peter 2010 Springer Berlin Heidelberg
-
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems – Second International Conference, CPAIOR 2005, Prague, Czech Republic, May 31-June 1, 2005. Proceedings
Barták, Roman 2005 Springer Berlin Heidelberg
-
Multiparadigm Programming in Mozart/Oz – Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers
Van Roy, Peter 2005 Springer Berlin Heidelberg
-
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems – 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings
Lodi, Andrea 2010 Springer Berlin Heidelberg
-
Recent advances in constraints – revised selected papers
Fages, François 2008 Springer
-
Principles and practice of constraint programming – 14th international conference ; proceedings
Stuckey, Peter J. 2008 Springer
-
Integration of AI and OR techniques in constraint programming for combinatorial optimization problems – 5th international conference ; proceedings
Perron, Laurent 2008 Springer
-
Programming languages and systems – 5th Asian symposium ; proceedings
Shao, Zhong 2007 Springer
-
Recent advances in constraints – revised selected and invited papers
Azevedo, Francisco 2007 Springer