Research Catalog

Title

Formal verification of AI software [microform] / John Rushby, R. Alan Whitehurst.

Author

Rushby, John, 1949-

Publication

Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1989]

Details

Additional Authors

• Whitehurst, R. Alan
• Langley Research Center

Description

1 v.

Series Statement

NASA contractor report ; 181827

Uniform Title

NASA contractor report ; NASA CR-181827.

Subject

• Artificial intelligence
• Computer systems performance
• Expert systems
• Logic programming
• Theorem proving

Additional Formats (note)

• 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.

Reproduction (note)

• Microfiche.

Call Number

GPO Microfiche NAS 1.26:181827

OCLC

391334846

Author

Rushby, John, 1949-

Title

Formal verification of AI software [microform] / John Rushby, R. Alan Whitehurst.

Imprint

Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1989]

Series

NASA contractor report ; 181827

NASA contractor report ; NASA CR-181827.

Additional Formats

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.

Reproduction

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration], 1989. 2 microfiches.

Connect to:

http://purl.access.gpo.gov/GPO/LPS113685

Added Author

Whitehurst, R. Alan.

Langley Research Center.

Other Form:

Rushby, John, 1949- Formal verification of AI software. 1 v. (OCoLC)391426325

Gpo Item No.

0830-H-14 (MF)

0830-H-14 (online)

Sudoc No.

NAS 1.26:181827