-
Logic for programming, artificial intelligence, and reasoning – 19th international conference ; proceedings
McMillan, Kenneth L. ; Middeldorp, Aart ; Voronkov, Andrei 2013 Springer
-
Computer science logic – 18th international workshop ; proceedings
Marcinkowski, Jerzy 2004 Springer
-
Logic for programming, artificial intelligence, and reasoning – 18th international conference ; proceedings
Bjørner, Nikolaj ; Voronkov, Andrei 2012 Springer
-
Logic, language, information and computation – 18th international workshop ; proceedings
Beklemišev, Lev ; Queiroz, Ruy J. G. B. de 2011 Springer
-
Logic for programming, artificial intelligence, and reasoning – 11th international conference ; proceedings
Baader, Franz 2005 Springer
-
Computer Science Logic – 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
2010 Springer Berlin Heidelberg
-
Computer science logic – 24th international workshop ; proceedings
Dawar, Anuj 2010 Springer
-
Frontiers of combining systems – 7th international symposium ; proceedings
Ghilardi, Silvio 2009 Springer
-
Equational and membership constraints for infinite trees
Niehren, Joachim ; Podelski, Andreas ; Treinen, Ralf 1993 DFKI
-
Programmierlogik
Moos, Alfred 1988 Gehlen
-
Programmierlogik
Moos, Alfred ; Steinbuch, Pitter A. 1981 Gehlen
-
Programmierlogik
Moos, Alfred ; Steinbuch, Pitter A. 1978 Gehlen
-
Symposium on Mathematical Foundations of Computer Science – December 6 - 11, 1982, Diedrichshagen
1982 Sekt. Mathematik, Humboldt-Univ.
-
Einführung in die Programmierlogik
Harschneck, Andreas 1988 Forkel
-
A connotational theory of program structure
Royer, James S. 1987 Springer
-
From logic design to logic programming – theorem proving techniques and P-functions
Snyers, Dominique ; Thayse, André 1987 Springer
-
Representations, hierarchies and graphs of institutions
Mossakowski, Till 2002 Logos-Verl.
-
Abstrakte Interpretation logischer Programme – Theorie, Implementierung, Generierung
Fecht, Christian 1997 Pirrot
-
Programmierlogik, Programmablaufpläne – Mit zahlr. Bildern
Westermayer, Hans 1971 Oldenbourg
-
Programmierlogik
Fischbach, Franz ; Gross, Jürgen 1976 Müller