DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5 6 7 8 9...12
Hits 81 – 100 of 239

81
ADA Exceptions: Specification and Proof Techniques.
In: DTIC AND NTIS (1980)
BASE
Show details
82
Automatic Recognition of Phonemes Using a Syntactic Processor for Error Correction.
In: DTIC AND NTIS (1980)
BASE
Show details
83
Military Standard JOVIAL (J73).
In: DTIC AND NTIS (1980)
BASE
Show details
84
Design Recommendations for Query Languages
In: DTIC AND NTIS (1980)
BASE
Show details
85
FLAT: A FORTRAN Language Augmentation Tool
In: DTIC AND NTIS (1980)
BASE
Show details
86
Mechanical Intelligence: Research and Applications
In: DTIC AND NTIS (1979)
BASE
Show details
87
Translation of Phrase Structured Programming Languages.
In: DTIC AND NTIS (1979)
BASE
Show details
88
The Role of Object Primitives in Natural Language Processing.
In: DTIC AND NTIS (1979)
BASE
Show details
89
A Theorem-Prover for Recursive Functions: A User's Manual.
In: DTIC AND NTIS (1979)
BASE
Show details
90
Functions as Data Objects: The Implementation of Functions in LISP
In: DTIC AND NTIS (1979)
BASE
Show details
91
The Specification of Code Generation Algorithms.
In: DTIC AND NTIS (1978)
BASE
Show details
92
REL English for the User
In: DTIC AND NTIS (1978)
BASE
Show details
93
Natural Language Processing in an Automatic Programming Domain
In: DTIC AND NTIS (1978)
BASE
Show details
94
Linguistic Documentation of Metal System
In: DTIC AND NTIS (1978)
BASE
Show details
95
A Progress Report on the Discourse and Reference Components of PAL
In: DTIC AND NTIS (1978)
BASE
Show details
96
QUINCE System; State-of-the-Art Review
In: DTIC AND NTIS (1978)
BASE
Show details
97
The Revised Report on SCHEME: A Dialect of LISP.
In: DTIC AND NTIS (1978)
BASE
Show details
98
The FSCAN Lexical Analyzer Generating System.
In: DTIC AND NTIS (1978)
BASE
Show details
99
An LALR(1) Parser Grammar for FORTRAN.
In: DTIC AND NTIS (1978)
BASE
Show details
100
Alpha/Numeric Extraction Technique Phase II.
In: DTIC AND NTIS (1977)
BASE
Show details

Page: 1 2 3 4 5 6 7 8 9...12

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