1
Logic, programming, and Prolog /
Book
Loan/Reservation

Favorites
Saved in:
2
Eco-logic : logic-based approaches to ecological modelling /
Book
Loan/Reservation

Favorites
Saved in:
3
Model checking software [E-Book] : 15th international SPIN workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings /

Full text 
Favorites
Saved in:
4
Granada workshop on the integration of functional and logic programming : Granada, 24.09.90-28.09.90.
Book
Loan/Reservation

Favorites
Saved in:
5
Poster session of ALP 1996: proceedings : International conference on algebraic and logic programming 0005: proceedings : Aachen, 25.09.96-27.09.96.
Book
Loan/Reservation

Favorites
Saved in:
6
Annual Z user meeting 0004: proceedings : Z user workshop : Oxford, 15.12.89.
Book
Loan/Reservation

Favorites
Saved in:
7
Logic programming and databases /
Book
Loan/Reservation

Favorites
Saved in:
8
Foundations of logic programming /
Book
Loan/Reservation

Favorites
Saved in:
9
Inkonsistenzen in deduktiven Datenbanken: Diagnose und Reparatur.
Book
Loan/Reservation

Favorites
Saved in:
10
Foundations of equational logic programming.
Book
Loan/Reservation

Favorites
Saved in:
11
A classification scheme for declarative programming languages: syntax, semantics and operational models.
Book
Guo, Y. K.
1990
Loan/Reservation

Favorites
Saved in:
12
Lazy narrowing in a graph machine.
Book
Loan/Reservation

Favorites
Saved in:
13
The PHOENIX case study : EXIS - an environment for experimenting with inference systems.
Book
Loan/Reservation

Favorites
Saved in:
14
Essentials of logic programming.
Book
Loan/Reservation

Favorites
Saved in:
15
Inductive logic programming.
Book
Loan/Reservation

Favorites
Saved in:
16
Note on a narrowing machine for syntax directed babel.
Book
Loan/Reservation

Favorites
Saved in:
17
Stack based implementation of narrowing.
Book
Loogen, R.
1990
Loan/Reservation

Favorites
Saved in:
18
Foundations of deductive databases and logic programming /
Book
Loan/Reservation

Favorites
Saved in:

Narrow Search Results