Research Catalog

Open architectures for formal reasoning and deductive technologies for software development final report 5/1/91-7/31/94, grant no. NAG2-703

Title
Open architectures for formal reasoning and deductive technologies for software development [microform] : final report 5/1/91-7/31/94, grant no. NAG2-703 / principal investigators, John McCarthy, Zohar Manna ... [et al.].
Publication
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994]

Details

Additional Authors
  • McCarthy, John.
  • Manna, Zohar.
  • United States. National Aeronautics and Space Administration.
Description
1 v.
Series Statement
NASA contractor report ; NASA CR-197528
Subject
  • Architecture (Computers)
  • Cognition
  • Complex systems
  • Computer programming
  • Distributed processing
  • Human-computer interface
  • Information transfer
  • Mathematical logic
  • Semantics
  • Software engineering
  • Software tools
Note
  • Distributed to depository libraries in microfiche.
  • Shipping list no.: 95-0297-M.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:197528
OCLC
marcive32834834
Title
Open architectures for formal reasoning and deductive technologies for software development [microform] : final report 5/1/91-7/31/94, grant no. NAG2-703 / principal investigators, John McCarthy, Zohar Manna ... [et al.].
Imprint
[Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1994]
Series
NASA contractor report ; NASA CR-197528
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1995] 1 microfiche.
Added Author
McCarthy, John.
Manna, Zohar.
United States. National Aeronautics and Space Administration.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:197528
Research Call Number
READEX Microfiche NAS 1.26:197528
View in Legacy Catalog