| 1 |
Building Certified Libraries for PCC: Dynamic Storage Allocation
|
|
|
|
In: DTIC AND NTIS (2003)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
A Type-Preserving Compiler Infrastructure
|
|
|
|
In: DTIC AND NTIS (2002)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
A Caption-Based Natural-Language Interface Handling Descriptive Captions for a Multimedia Database System
|
|
|
|
In: DTIC AND NTIS (1990)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Scheme86: A System for Interpreting Scheme.
|
|
|
|
In: DTIC AND NTIS (1988)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
A Non-Cognitive Formal Approach to Knowledge Representation in Artificial Intelligence.
|
|
|
|
In: DTIC AND NTIS (1986)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
A Model for Process Representation and Synthesis.
|
|
|
|
In: DTIC AND NTIS (1971)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
A Selective Bibliography of Computer Graphics
|
|
|
|
In: DTIC AND NTIS (1971)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
STUDY OF A COMPUTER FOR DIRECT EXECUTION OF LIST PROCESSING LANGUAGE.
|
|
|
|
In: DTIC AND NTIS (1968)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
COMPUTATIONAL LINGUISTICS: BIBLIOGRAPHY, 1964
|
|
|
|
In: DTIC AND NTIS (1965)
|
|
BASE
|
|
Show details
|
|
|
|
|
