Computer verification of the completeness of a simulation problem description by natural language interaction
Publisher: Naval Postgraduate School
Published: 1971
Place of publication: Monterey, California
Language: eng
Notes: ADA757745.

Thesis (M.S. in Comp. Sci.)--Naval Postgraduate School, 1971.

Bibliography: l. 90.