Page: 1 2 3 4 5 6 7 8 9... 12
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
|
|
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
|
|
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
|
|