DE eng

Search in the Catalogues and Directories

Hits 1 – 5 of 5

1
Knowledge Creation Tools for DAML
In: DTIC (2006)
BASE
Show details
2
Pointing to Places in a Deductive Geospatial Theory
In: DTIC (2003)
BASE
Show details
3
DANDE: Deductive Anomaly Detection With Program Synthesis
In: DTIC AND NTIS (2003)
BASE
Show details
4
Studies in automatic programming logic
Waldinger, Richard; Manna, Zohar. - New York : North-Holland, c 1977
IDS Mannheim
Show details
5
QLISP: A Language for the Interactive Development of Complex Systems
In: DTIC (1976)
BASE
Show details

Catalogues
0
1
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
4
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern