1 |
The New ROSIE Reference Manual and User's Guide
|
|
|
|
In: DTIC AND NTIS (1987)
|
|
BASE
|
|
Show details
|
|
2 |
A Multi-Dimensional Grammar for Modeling Temporal-Spatial Images.
|
|
|
|
In: DTIC AND NTIS (1984)
|
|
BASE
|
|
Show details
|
|
3 |
Automatic Extension of an Augmented Transition Network Grammar for Morse Code Conversations
|
|
|
|
In: DTIC AND NTIS (1980)
|
|
BASE
|
|
Show details
|
|
4 |
A Linguistic Approach to Automatic Theorem Proving.
|
|
|
|
In: DTIC AND NTIS (1976)
|
|
BASE
|
|
Show details
|
|
5 |
Computational Logic. A Progress Report
|
|
|
|
In: DTIC AND NTIS (1972)
|
|
BASE
|
|
Show details
|
|
6 |
Generative, Descriptive, Formal and Heuristic Modeling in Pattern Analysis and Classification.
|
|
|
|
In: DTIC AND NTIS (1971)
|
|
BASE
|
|
Show details
|
|
8 |
A HEURISTIC DERIVATION SEEKER FOR UNIFORM PREFIX LANGUAGES.
|
|
|
|
In: DTIC AND NTIS (1965)
|
|
BASE
|
|
Show details
|
|
|
|