1 |
![Deduktive Datenbanken: eine Einführung aus der Sicht der logischen Programmierung Deduktive Datenbanken: eine Einführung aus der Sicht der logischen Programmierung](Cover.cls?type=cover&isbn=9783528047009&size=100) |
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 |
![Designing with Xilinx® FPGAs: Using Vivado Designing with Xilinx® FPGAs: Using Vivado](Cover.cls?type=cover&isbn=9783319424385&size=100) |
Designing with Xilinx® FPGAs: Using Vivado [E-Book]
|
|
2017 |
|
.
|
3 |
![Graph-based proof procedures for Horn clauses Graph-based proof procedures for Horn clauses](Cover.cls?type=cover&isbn=9780817635305&size=100) |
Graph-based proof procedures for Horn clauses [Hochschulschriften]
|
Raatz, Stan
|
1990 |
500016890
|
Regalstandort: 27 800/1.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
4 |
![¬The¬ Haskell road to logic, maths and programming ¬The¬ Haskell road to logic, maths and programming](Cover.cls?type=cover&isbn=9780954300692&size=100) |
¬The¬ Haskell road to logic, maths and programming [Buch]
|
Doets, Kees
|
2004 |
500144404
|
Regalstandort: SK 130 D653.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
5 |
![](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
Integration von Konzepten der objektorientierten und logischen Programmierung [Hochschulschriften]
|
Welsch, Christoph
|
1990 |
|
Regalstandort: 27 240/1.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
6 |
![](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7) |
¬The¬ journal of logic and algebraic programming [Buch]
|
|
2001 |
|
.
|
7 |
![Kurs in Logischer Programmierung Kurs in Logischer Programmierung](Cover.cls?type=cover&isbn=9783211822357&size=100) |
Kurs in Logischer Programmierung [Buch]
|
Fuchs, Norbert E.
|
1990 |
|
Regalstandort: ST 300 F951.
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|
8 |
![Logical Foundations for Rule-Based Systems Logical Foundations for Rule-Based Systems](Cover.cls?type=cover&isbn=9783540324461&size=100) |
Logical Foundations for Rule-Based Systems [E-Book]
|
|
2006 |
|
.
|
9 |
![Logik für Informatiker Logik für Informatiker](Cover.cls?type=cover&isbn=9783827410054&size=100) |
Logik für Informatiker [Buch]
|
Schöning, Uwe
|
2000 |
|
Regalstandort: ST 120 S365(5).
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 10.
|
10 |
![Logik für Informatiker Logik für Informatiker](Cover.cls?type=cover&isbn=9783519005186&size=100) |
Logik für Informatiker [Buch]
|
Dassow, Jürgen
|
2005 |
|
Lit.abteilungen: Freihand.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 5.
|
11 |
![Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines](Cover.cls?type=cover&isbn=9783540334590&size=100) |
Parallel and Distributed Logic Programming: Towards the Design of a Framework for the Next Generation Database Machines [E-Book]
|
|
2006 |
|
.
|
12 |
![Zur Logik der Logik-Programmierung: ein konstruktiver Ansatz Zur Logik der Logik-Programmierung: ein konstruktiver Ansatz](Cover.cls?type=cover&isbn=9783540507208&size=100) |
Zur Logik der Logik-Programmierung: ein konstruktiver Ansatz [Hochschulschriften]
|
Beckstein, Clemens
|
1988 |
500012380
|
Regalstandort: 24 722.
Lit.abteilungen: Magazin.
Verfügbar in: Hauptbibliothek.
Anzahl Exemplare: 1.
|