Research Catalog

Evidence flow graph methods for validation and verification of expert systems final report on NASA grant NAG-1-809

Title
Evidence flow graph methods for validation and verification of expert systems [microform] : final report on NASA grant NAG-1-809 / Lee A. Becker, Peter G. Green, Jayat Bhatnagar.
Author
Becker, Lee A.
Publication
Worcester, Mass. : Intelligent Machines Project, Artificial Intelligence Research Group, Worcester Polytechnic Institute ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1988?]

Details

Additional Authors
  • Green, Peter G.
  • Bhatnagar, Jayat.
  • United States. National Aeronautics and Space Administration.
Description
1 v.
Series Statement
NASA contractor report ; NASA CR-183399
Subject
  • Expert systems
  • Flow charts
  • Proving
Note
  • Distributed to depository libraries in microfiche.
Reproduction (note)
  • Microfiche.
Call Number
READEX Microfiche NAS 1.26:183399
OCLC
marcive32601028
Author
Becker, Lee A.
Title
Evidence flow graph methods for validation and verification of expert systems [microform] : final report on NASA grant NAG-1-809 / Lee A. Becker, Peter G. Green, Jayat Bhatnagar.
Imprint
Worcester, Mass. : Intelligent Machines Project, Artificial Intelligence Research Group, Worcester Polytechnic Institute ; [Washington, DC : National Aeronautics and Space Administration ; Springfield, Va. : National Technical Information Service, distributor, 1988?]
Series
NASA contractor report ; NASA CR-183399
Reproduction
Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 1889] 1 microfiche.
Added Author
Green, Peter G.
Bhatnagar, Jayat.
United States. National Aeronautics and Space Administration.
Gpo Item No.
0830-H-14 (MF)
Sudoc No.
NAS 1.26:183399
Research Call Number
READEX Microfiche NAS 1.26:183399
View in Legacy Catalog