Open architectures for formal reasoning and deductive technologies for software development
Subtitle: final report 5/1/91-7/31/94, grant no. NAG2-703
By: principal investigators, John McCarthy, Zohar Manna ... [et al.].
Contributors: McCarthy, John.; Manna, Zohar.; United States. National Aeronautics and Space Administration.
Series: NASA contractor report -- NASA CR-197528.
Publisher: National Aeronautics and Space Administration; National Technical Information Service, distributor
Published: 1994
Place of publication: [Washington, DC; Springfield, Va
Language: eng
Format: Microform
Subjects: Architecture (Computers); Cognition.; Complex systems.; Computer programming.; Distributed processing.; Human-computer interface.; Information transfer.; Mathematical logic.; Semantics.; Software engineering.; Software tools.
Notes: Distributed to depository libraries in microfiche.

Shipping list no.: 95-0297-M.

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1995] 1 microfiche.