1
Model checking software [E-Book] : 15th international SPIN workshop, Los Angeles, CA, USA, August 10-12, 2008 : proceedings /
“...DMA - Programming...”

Full text 
Favorites
Saved in:
2
Poster session of ALP 1996: proceedings : International conference on algebraic and logic programming 0005: proceedings : Aachen, 25.09.96-27.09.96.
Book
“...DMA - Programming...”
Loan/Reservation

Favorites
Saved in:
3
Inductive logic programming.
Book
“...DMA - Programming...”
Loan/Reservation

Favorites
Saved in:
4
Eco-logic : logic-based approaches to ecological modelling /
Book
“...DMA - Programming...”
Loan/Reservation

Favorites
Saved in:
5
Granada workshop on the integration of functional and logic programming : Granada, 24.09.90-28.09.90.
Book
“...DMA - Programming...”
Loan/Reservation

Favorites
Saved in:
6
The PHOENIX case study : EXIS - an environment for experimenting with inference systems.
Book
“...DMA - Programming...”
Loan/Reservation

Favorites
Saved in:
7
Logic programming and databases /
Book
“...DMA - Programming...”
Loan/Reservation

Favorites
Saved in:
8
Inkonsistenzen in deduktiven Datenbanken: Diagnose und Reparatur.
Book
“...DMA - Programming...”
Loan/Reservation

Favorites
Saved in:
9
Annual Z user meeting 0004: proceedings : Z user workshop : Oxford, 15.12.89.
Book
“...DMA - Programming...”
Loan/Reservation

Favorites
Saved in:
10
Logic, programming, and Prolog /
Book
“...DMA - Programming...”
Loan/Reservation

Favorites
Saved in:
11
Stack based implementation of narrowing.
Book
Loogen, R.
1990
“...DMA - Programming...”
Loan/Reservation

Favorites
Saved in:
12
Essentials of logic programming.
Book
“...DMA - Programming...”
Loan/Reservation

Favorites
Saved in:
13
A classification scheme for declarative programming languages: syntax, semantics and operational models.
Book
Guo, Y. K.
1990
“...DMA - Programming...”
Loan/Reservation

Favorites
Saved in:
14
Lazy narrowing in a graph machine.
Book
“...DMA - Programming...”
Loan/Reservation

Favorites
Saved in:
15
Note on a narrowing machine for syntax directed babel.
Book
“...DMA - Programming...”
Loan/Reservation

Favorites
Saved in:
16
Foundations of equational logic programming.
Book
“...DMA - Programming...”
Loan/Reservation

Favorites
Saved in:
17
Foundations of deductive databases and logic programming /
Book
“...DMA - Programming...”
Loan/Reservation

Favorites
Saved in:
18
Foundations of logic programming /
Book
“...DMA - Programming...”
Loan/Reservation

Favorites
Saved in:

Narrow Search Results