Skip to contents Geske, Ulrich [Other] ; International Workshop on Deductive Databases and Logic Programming 5 1997 Löwen, GMD-Forschungszentrum Informationstechnik, International Conference on Logic Programming 14 1997 Löwen Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming : workshop in conjunction with ICLP '97, Leuven, Belgium, July 11, 1997 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1997 Published in: GMD-Forschungszentrum Informationstechnik: GMD-Studien ; 317 Manna, Zohar [Author]; Waldinger, Richard [Author] The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming" - [a one-volume version of "The logical basis for computer programming"] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Reading, Mass. [u.a.]: Addison-Wesley, 1993 Martin-Löf, Per [Editor]; Mints, Grigori [Editor] ; COLOG 1 1988 Tallin Proceedings / COLOG 88 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1990 Published in: Lecture notes in computer science ; 417 Martin-Löf, Per [Author] ; Mints, Grigori [Other] COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990 Published in: Lecture notes in computer science ; 417 Martin-Löf, Per [Other] ; COLOG 1 1988 Tallin COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12 - 16, 1988 ; proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1990 ; Online-Ausg., Berlin [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 41700
Geske, Ulrich [Other] ; International Workshop on Deductive Databases and Logic Programming 5 1997 Löwen, GMD-Forschungszentrum Informationstechnik, International Conference on Logic Programming 14 1997 Löwen Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming : workshop in conjunction with ICLP '97, Leuven, Belgium, July 11, 1997 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Sankt Augustin: GMD-Forschungszentrum Informationstechnik, 1997 Published in: GMD-Forschungszentrum Informationstechnik: GMD-Studien ; 317
Manna, Zohar [Author]; Waldinger, Richard [Author] The deductive foundations of computer programming : a one-volume version of "The logical basis for computer programming" - [a one-volume version of "The logical basis for computer programming"] Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Reading, Mass. [u.a.]: Addison-Wesley, 1993
Martin-Löf, Per [Editor]; Mints, Grigori [Editor] ; COLOG 1 1988 Tallin Proceedings / COLOG 88 Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1990 Published in: Lecture notes in computer science ; 417
Martin-Löf, Per [Author] ; Mints, Grigori [Other] COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1990 Published in: Lecture notes in computer science ; 417
Martin-Löf, Per [Other] ; COLOG 1 1988 Tallin COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12 - 16, 1988 ; proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1990 ; Online-Ausg., Berlin [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 41700
> Location Skip to next facet Central Library (2) Wert ausschließen Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Language Skip to next facet English (5) Wert ausschließen German (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (4) Wert ausschließen Mathmatics (3) Wert ausschließen Economics (1) Wert ausschließen Show more show less
> Creator Skip to next facet Martin-Löf, Per (3) Wert ausschließen COLOG 1 1988 Tallin (2) Wert ausschließen Mints, Grigori (2) Wert ausschließen GMD-Forschungszentrum Informationstechnik (1) Wert ausschließen Geske, Ulrich (1) Wert ausschließen International Conference on Logic Programming 14 1997 Löwen (1) Wert ausschließen International Workshop on Deductive Databases and Logic Programming 5 1997 Löwen (1) Wert ausschließen Manna, Zohar (1) Wert ausschließen Waldinger, Richard (1) Wert ausschließen Show more show less