|
1 |
 |
Deduktive Datenbanken: eine Einführung aus der Sicht der logischen Programmierung [Buch]
|
Cremers, Armin B.
|
1994 |
|
Regalstandort: ST 270 C915.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
2 |
 |
Einführung in die Constraint-Programmierung: Grundlagen, Methoden, Sprachen, Anwendungen [E-Book]
|
|
2007 |
|
.
|
|
3 |
 |
Einführung in die mathematische Logik [Buch]
|
Ebbinghaus, Heinz-Dieter
|
1992 |
|
Regalstandort: SK 130 E15(3).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
4 |
 |
Einführung in die Mathematische Logik: Ein Lehrbuch [E-Book]
|
Rautenberg, Wolfgang
|
2008 |
|
.
|
|
5 |
 |
Einführung in die mathematische Logik [E-Book]
|
Ebbinghaus, Heinz-Dieter
|
2018 |
|
.
|
|
6 |
 |
Inductive Logic Programming: 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers [E-Book]
|
|
2017 |
 500255519
|
.
|
|
7 |
 |
Kurs in Logischer Programmierung [Buch]
|
Fuchs, Norbert E.
|
1990 |
|
Regalstandort: ST 300 F951.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
8 |
 |
Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings [E-Book]
|
|
2017 |
500254620
|
.
|
|
9 |
 |
Logical Foundations for Rule-Based Systems [E-Book]
|
|
2006 |
|
.
|
|
10 |
 |
Nebenläufige Programme [Buch]
|
Herrtwich, Ralf Guido
|
1994 |
|
Regalstandort: ST 230 H568(2).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 5.
|
|
11 |
 |
Nonmonotonic logic: context-dependent reasoning [Buch]
|
Marek, Victor W.
|
1993 |
|
Regalstandort: ST 300 M323.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 5.
|
|
12 |
 |
Programmiersprachen: Grundlagen, Konzepte, Entwurf [Buch]
|
Louden, Kenneth C.
|
1994 |
|
Regalstandort: ST 240 L886.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
|
13 |
 |
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering: 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures [E-Book]
|
|
2017 |
500245299
|
.
|
|
14 |
 |
Reasoning Web. Semantic Interoperability on the Web: 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures [E-Book]
|
|
2017 |
500254614
|
.
|
|
15 |
 |
Wissensbasierte Systeme: Algorithmen, Datenstrukturen und Werkzeuge [Buch]
|
Lusti, Markus
|
1990 |
500015562
|
Regalstandort: ST 302 L972.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
