Skip to contents

Goltz, Hans-Joachim [Author]; Herre, Heinrich [Author]

Grundlagen der logischen Programmierung

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Akad.-Verl., 1990

Published in: Informatik, Kybernetik, Rechentechnik ; 34
Agafonov, Valerij N. [Other]; Agafonov, V. N. [Adapter]

Logičeskoe programmirovanie : sbornik statej

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Moskva: Izd. Mir, 1988

Published in: Matematičeskie obespečenie EVM
Sterling, Leon S. [Author]; Shapiro, Ehud Y. [Author]

Prolog : fortgeschrittene Programmiertechniken = The art of prolog

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Bonn; Reading, Massachusetts; Menlo Park, California: Addison-Wesley, 1988

Published in: Reihe künstliche Intelligenz
Lloyd, John W. [Author]; Lloyd, John Wylie [Author]

Foundations of logic programming - [2., extended ed., 1. corr. print.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1993

Published in: Artificial intelligence
Deransart, Pierre [Author]; Małuszyński, Jan [Author]

A grammatical view of logic programming

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge, Mass. [u.a.]: The MIT Pr., 1993

Published in: Logic programming
Schmitt, Peter H. [Author]

Theorie der logischen Programmierung : eine elementare Einführung

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1992

Published in: Springer-Lehrbuch
Hogger, Christopher J. [Author]

Essentials of logic programming

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oxford: Clarendon Press, 1990

Published in: Graduate texts in computer science ; 1
Smolka, Gert [Author]

Logic programming over polymorphically order-sorted types

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1989
Zell, Andreas [Author]

Metaebenen-Architekturen logischer Programme

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1989
Kolter, Robert [Author]

Implementation issues in inductive logic programming

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kaiserslautern: Univ., Fachbereich Informatik, 2003

Published in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 325
Logic Programming Conference

Logic programming : proceedings of the ... conference

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1986-1989 / 4.1985(1986) - 7.1988(1989)

Published in: 7.1988: Lecture notes in artificial intelligence
Schöning, Uwe [Author]

Logic for computer scientists - [Reprint of the 1989 ed.]

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston; Basel; Berlin: Birkhäuser, 2008

Published in: Modern Birkhäuser Classics
Schöning, Uwe [Author]

Logik für Informatiker

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Mannheim [u.a.]: BI-Wissenschaftsverl., 1987

Published in: Reihe Informatik ; 56
Welsch, Christoph [Author]

Integration von Konzepten der objektorientierten und logischen Programmierung

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1990
Fronhöfer, Bertram [Editor] ; Workshop on Logic Programming 17 2002 Dresden

17. Workshop Logische Programmierung : Technische Universität Dresden 11. - 13. Dezember 2002

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Dresden: Techn. Univ., Fak. Informatik, 2003

Published in: Technische Universität Dresden: Technische Berichte ; 2003,03
Klingler, Antonius [Author]

Datenparallele Auswertung rekursiver logischer Programme

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

1993
Readi-Nasser, Rodrigo [Author]

An intuitionistic approach to logic programming

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Kaiserslautern: Fachbereich Informatik, Univ., 1998

Published in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 29600
Dassow, Jürgen [Author]

Logik für Informatiker - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Stuttgart; Leipzig; Wiesbaden: Teubner, 2005

Published in: Lehrbuch Mathematik
Apt, Krzysztof R. [Editor]

The logic programming paradigm : a 25-year perspective

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1999

Published in: Artificial intelligence
Cremers, Armin B. [Author]; Griefahn, Ulrike [Author]; Hinze, Ralf [Author]

Deduktive Datenbanken : eine Einführung aus der Sicht der logischen Programmierung

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Braunschweig; Wiesbaden: Vieweg, 1994

Published in: Künstliche Intelligenz

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication