Formal verification of AI software - Rushby, John, 1949-; Whitehurst, R. Alan.; Langley Research Center (Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, 1989)
Also available via Internet from the NTRS web site. Address as of 06/11/09: http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19890015440%5F1989015440.pdf ; current access is available via PURL.
Microfiche.
Distributed to depository libraries on microfiche.
Keywords: Artificial intelligence; Computer systems performance; Expert systems; Logic programming; Theorem proving