4 |
Prerequisites for Deriving Formal Specifications from Natural Language Requirements.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
5 |
Design of a System That Understands Informal Specifications.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
7 |
Mapping between Semantic Representations Using Horn Clauses.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
8 |
File Searching Problems in Logic Programming Systems.
|
|
|
|
In: DTIC AND NTIS (1983)
|
|
BASE
|
|
Show details
|
|
9 |
Two Discourse Generators. A Grammar and a Lexicon for a Text-Production System.
|
|
|
|
In: DTIC AND NTIS (1982)
|
|
BASE
|
|
Show details
|
|
13 |
Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
|
|
|
|
In: DTIC AND NTIS (1981)
|
|
BASE
|
|
Show details
|
|
14 |
Maximal Objects and the Semantics of Universal Relation Databases.
|
|
|
|
In: DTIC AND NTIS (1981)
|
|
BASE
|
|
Show details
|
|
15 |
An Algebraic Structure Theory of Rule Sets. I. A Formalization of Both Production Systems and Decision Tables.
|
|
|
|
In: DTIC AND NTIS (1981)
|
|
BASE
|
|
Show details
|
|
16 |
Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
|
|
|
|
In: DTIC AND NTIS (1980)
|
|
BASE
|
|
Show details
|
|
17 |
Computer as Author -- Results and Prospects.
|
|
|
|
In: DTIC AND NTIS (1980)
|
|
BASE
|
|
Show details
|
|
18 |
Translation of Phrase Structured Programming Languages.
|
|
|
|
In: DTIC AND NTIS (1979)
|
|
BASE
|
|
Show details
|
|
19 |
Acoustic/Linguistic Aspects of Automatic Speech Recognition.
|
|
|
|
In: DTIC AND NTIS (1979)
|
|
BASE
|
|
Show details
|
|
20 |
Acoustic/Linguistic Aspects of Automatic Speech Recognition.
|
|
|
|
In: DTIC AND NTIS (1978)
|
|
BASE
|
|
Show details
|
|
|
|