Formal verification of AI software /

Bibliographic Details

Main Author:	Rushby, John, 1949-
Corporate Author:	Langley Research Center
Other Authors:	Whitehurst, R. Alan
Format:	Government Document Book
Language:	English
Published:	Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1989]
Series:	NASA contractor report ; NASA CR-181827.
Subjects:	Artificial intelligence. Computer systems performance. Expert systems. Logic programming. Theorem proving.
Online Access:	https://purl.fdlp.gov/GPO/LPS113685