Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
Simple Search

Page: 1 2

Hits 1 – 20 of 36

1	A Syntactic Approach to Foundational Proof-Carrying Code
	Hamid, Nadeem A.; Shao, Zhong; Trifonov, Valery...
	In: DTIC AND NTIS (2002)
	BASE
	Show details

2	A Survey of Current Paradigms in Machine Translation
	Dorr, Bonnie J.; Jordan, Pamela W.; Benoit, John W.
	In: DTIC (1998)
	BASE
	Show details

3	A Simplified Account of Polymorphic References. Revised
	Harper, Robert
	In: DTIC AND NTIS (1993)
	BASE
	Show details

4	Very High Speed Integrated Circuits (VHSIC) Hardware Description Language (VHDL) Syntax and Semantics Summary
	Mills, Michael T.
	In: DTIC AND NTIS (1991)
	BASE
	Show details

5	Incremental Interpretation
	Pereira, Fernando C.; Pollack, Martha E.
	In: DTIC (1990)
	BASE
	Show details

6	A Report Generator Volume 2
	Maybury, Mark T.
	In: DTIC AND NTIS (1988)
	BASE
	Show details

7	Integrating Syntax, Semantics, and Discourse DARPA Natural Language Understanding Program. Volume 2. Appendices.
	Dahl,Deborah; Dowding,John; Hirschman,Lynette...
	In: DTIC AND NTIS (1987)
	BASE
	Show details

8	Integrating Syntax, Semantics, and Discourse DARPA Natural Language Understanding Program. Volume 1
	Dahl, Deborah; Dowding, John; Hirschman, Lynette...
	In: DTIC AND NTIS (1987)
	BASE
	Show details

9	Design of the Pan Language-Based Editor
	Ballance, Robert A
	In: DTIC AND NTIS (1986)
	BASE
	Show details

10	Natural Language Processing: A Tutorial.
	Walter,Sharon M
	In: DTIC AND NTIS (1986)
	BASE
	Show details

11	Simulation Using SMALLTALK.
	Helfman,Richard A; Ralston,Mark H; Suckling,J R
	In: DTIC AND NTIS (1986)
	BASE
	Show details

12	The Analysis of Nominal Compounds
	Lehnert, Wendy G
	In: DTIC AND NTIS (1985)
	BASE
	Show details

13	A D To C Interpreter.
	Shomper,K J
	In: DTIC AND NTIS (1984)
	BASE
	Show details

14	Transportability and Generality in a Natural-Language Interface System
	Martin, Paul; Appelt, Douglas; Pereira, Fernando C.
	In: DTIC (1983)
	BASE
	Show details

15	Prerequisites to Deriving Formal Specifications from Natural Language Requirements.
	Weischedel,Ralph M
	In: DTIC AND NTIS (1981)
	BASE
	Show details

16	ADA Exceptions: Specification and Proof Techniques.
	Luckham,D C; Polak,W
	In: DTIC AND NTIS (1980)
	BASE
	Show details

17	The Specification of Code Generation Algorithms.
	Terman,Christopher J
	In: DTIC AND NTIS (1978)
	BASE
	Show details

18	Natural Language Processing in an Automatic Programming Domain
	Ginsparg, Jerrold M
	In: DTIC AND NTIS (1978)
	BASE
	Show details

19	The FSCAN Lexical Analyzer Generating System.
	Clemm,Geoffrey
	In: DTIC AND NTIS (1978)
	BASE
	Show details

20	Speech Understanding Systems. Volume I. Introduction and Overview.
	Woods,William A; Bates,Madeleine; Brown,Geoffrey...
	In: DTIC AND NTIS (1976)
	BASE
	Show details

Page: 1 2

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern