-
Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
-
Declarative Programming, Sasbachwalden 1991 – PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991
Darlington, John 1992 Springer London
-
Trends in Functional Programming – 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
2014 Springer Berlin Heidelberg
-
Logic for Programming, Artificial Intelligence, and Reasoning – 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings
McMillan, Kenneth L. ; Middeldorp, Aart ; Voronkov, Andrei 2013 Springer Berlin Heidelberg
-
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
2013 Springer Berlin Heidelberg
-
Constraint Solving and Language Processing – 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers
Duchier, Denys ; Parmentier, Yannick 2013 Springer Berlin Heidelberg
-
Network and Parallel Computing – 10th IFIP International Conference, NPC 2013, Guiyang, China, September 19-21, 2013. Proceedings
Hsu, Ching-Hsien ; Li, Xiaoming ; Shi, Xuanhua ; Zheng, Ran 2013 Springer Berlin Heidelberg
-
Logic Programming and Nonmonotonic Reasoning – 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Frontiers of Combining Systems – 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings
2013 Springer Berlin Heidelberg
-
Principles and Practice of Constraint Programming – 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings
Schulte, Christian 2013 Springer Berlin Heidelberg
-
The Beauty of Functional Code – Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday
Achten, Peter ; Plasmeijer, Marinus Jacobus ; Koopman, Pieter 2013 Springer Berlin Heidelberg
-
Trends in Functional Programming – 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers
Loidl, Hans-Wolfgang ; Peña, Ricardo 2013 Springer Berlin Heidelberg
-
Theory, Practice, and Applications of Rules on the Web – 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings
Morgenstern, Leora ; Stefaneas, Petros ; Lévy, François ; Wyner, Adam ; Paschke, Adrian 2013 Springer Berlin Heidelberg
-
End-User Development – 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings
Dittrich, Yvonne ; Burnett, Margaret ; Morch, Anders ; Redmiles, David 2013 Springer Berlin Heidelberg
-
ALPUK 91 – Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10–12 April 1991
Wiggins, Geraint A. 1992 Springer London
-
Automatisierung mit Industrierobotern – Komponenten, Programmierung, Anwendung. Referate der Fachtagung Automatisierung mit Industrierobotern
1989 Vieweg+Teubner Verlag
-
Inductive Logic Programming – 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers
Riguzzi, Fabrizio ; Železný, Filip 2013 Springer Berlin Heidelberg
-
Programming Multi-Agent Systems – 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers
Dennis, Louise ; Boissier, Olivier ; Bordini, Rafael H. 2013 Springer Berlin Heidelberg
-
Programming Languages and Systems – Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings
Chin, Wei-Ngan 2004 Springer Berlin Heidelberg
-
Logic-Based Program Synthesis and Transformation – 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Albert, Elvira 2013 Springer Berlin Heidelberg