DE eng

Search in the Catalogues and Directories

Hits 1 – 6 of 6

1
ADA Exceptions: Specification and Proof Techniques.
In: DTIC AND NTIS (1980)
BASE
Show details
2
Natural Language Processing in an Automatic Programming Domain
In: DTIC AND NTIS (1978)
BASE
Show details
3
Towards a Semantic Theory of Dynamic Binding
In: DTIC AND NTIS (1975)
BASE
Show details
4
Operational Reasoning and Denotational Semantics
In: DTIC AND NTIS (1975)
BASE
Show details
5
Natural Language Understanding Systems Within the A. I. Paradigm: A survey and Some Comparisons
In: DTIC AND NTIS (1974)
BASE
Show details
6
A COMPUTER SYSTEM FOR TRANSFORMATIONAL GRAMMAR
In: DTIC AND NTIS (1968)
BASE
Show details

Catalogues
0
0
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
6
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern