Theory interpretations in PVS
By: Sam Owre and Natarajan Shankar.
Contributors: Shankar, N.; Langley Research Center.
Series: [NASA contractor report] -- NASA/CR-2001-211024.; NASA contractor report -- NASA CR-211024.
Publisher: National Aeronautics and Space Administration, Langley Research Center; Available from NASA Center for Aerospace Information
Published: 2001
Place of publication: Hampton, Va; Hanover, MD
Language: eng
Format: Microform
Subjects: Mechanization.; Programming languages.; Proving.
Notes: Shipping list no.: 2002-0230-M.

"July 2001."

Microfiche. [Washington, D.C. : National Aeronautics and Space Administration, 2002?] 1 microfiche final report.