Zum Inhalt springen

Goltz, Hans-Joachim [Verfasser:in]; Herre, Heinrich [Verfasser:in]

Grundlagen der logischen Programmierung

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin: Akad.-Verl., 1990

Erschienen in: Informatik, Kybernetik, Rechentechnik ; 34
Agafonov, Valerij N. [Sonstige Person, Familie und Körperschaft]; Agafonov, V. N. [Bearbeiter:in]

Logičeskoe programmirovanie : sbornik statej

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Moskva: Izd. Mir, 1988

Erschienen in: Matematičeskie obespečenie EVM
Schöning, Uwe [Verfasser:in]

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

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston; Basel; Berlin: Birkhäuser, 2008

Erschienen in: Modern Birkhäuser Classics
Kolter, Robert [Verfasser:in]

Implementation issues in inductive logic programming

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kaiserslautern: Univ., Fachbereich Informatik, 2003

Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 325
Tsarchopoulos, Panagiotis [Verfasser:in]

Global analysis and optimizing compilation of constraint solving algorithms in constraint logic programming

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1997
Lloyd, John W. [Verfasser:in]; Lloyd, John Wylie [Verfasser:in]

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

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

A grammatical view of logic programming

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Logic programming
Schmitt, Peter H. [Verfasser:in]

Theorie der logischen Programmierung : eine elementare Einführung

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Springer-Lehrbuch
Hogger, Christopher J. [Verfasser:in]

Essentials of logic programming

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Oxford: Clarendon Press, 1990

Erschienen in: Graduate texts in computer science ; 1
Smolka, Gert [Verfasser:in]

Logic programming over polymorphically order-sorted types

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1989
Zell, Andreas [Verfasser:in]

Metaebenen-Architekturen logischer Programme

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1989
Logic Programming Conference

Logic programming : proceedings of the ... conference

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: 7.1988: Lecture notes in artificial intelligence
Schöning, Uwe [Verfasser:in]

Logik für Informatiker

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Reihe Informatik ; 56
Sterling, Leon S. [Verfasser:in]; Shapiro, Ehud Y. [Verfasser:in]

Prolog : fortgeschrittene Programmiertechniken = The art of prolog

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Reihe künstliche Intelligenz
Apt, Krzysztof R. [Herausgeber:in]

The logic programming paradigm : a 25-year perspective

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Artificial intelligence
Dassow, Jürgen [Verfasser:in]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Stuttgart; Leipzig; Wiesbaden: Teubner, 2005

Erschienen in: Lehrbuch Mathematik
Fronhöfer, Bertram [Herausgeber:in] ; Workshop on Logic Programming 17 2002 Dresden

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

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Technische Universität Dresden: Technische Berichte ; 2003,03
Readi-Nasser, Rodrigo [Verfasser:in]

An intuitionistic approach to logic programming

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Kaiserslautern: Fachbereich Informatik, Univ., 1998

Erschienen in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 29600
Klingler, Antonius [Verfasser:in]

Datenparallele Auswertung rekursiver logischer Programme

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1993
Welsch, Christoph [Verfasser:in]

Integration von Konzepten der objektorientierten und logischen Programmierung

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

1990

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr