1 option
Formal verification of AI software / John Rushby, R. Alan Whitehurst.
- Format:
- Book
- Government document
- Author/Creator:
- Rushby, John, 1949-
- Series:
- NASA contractor report ; NASA CR-181827.
- NASA contractor report ; 181827
- Language:
- English
- Subjects (All):
- Artificial intelligence.
- Logic programming.
- artificial intelligence.
- Physical Description:
- 1 online resource (1 volume)
- Place of Publication:
- Hampton, Va. : National Aeronautics and Space Administration, Langley Research Center, [1989]
- Notes:
- Title from title screen (viewed June 11, 2009).
- Other Format:
- Rushby, John, 1949- Formal verification of AI software.
- OCLC:
- 391426325
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.