Theory interpretations in PVS [microform] / Sam Owre and Natarajan Shankar ([NASA contractor report] ; NASA/CR-2001-211024)

Theory interpretations in PVS [microform] / Sam Owre and Natarajan Shankar

([NASA contractor report] ; NASA/CR-2001-211024)

資料に関する注記

一般注記：: Shipping list no.: 2002-0230-M"July 2001."Physical description for original version: 1 v

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

資料種別: 図書
タイトル: Theory interpretations in PVS [microform] / Sam Owre and Natarajan Shankar
シリーズタイトル: [NASA contractor report] ; NASA/CR-2001-211024
タイトル標目: NASA contractor report ; NASA CR-211024
著者標目: Owre, Sam
Shankar, Natarajan
Langley Research Center
出版年（W3CDTF）: 2001
数量: microfiche
大きさ: 11 × 15 cm
出版地（国名コード）: US
本文の言語コード: eng
資料種別（注記）: [microform]
件名標目: Mechanization
Programming languages
Proving
一般注記: Shipping list no.: 2002-0230-M
"July 2001."
Physical description for original version: 1 v
原資料等に関する注記: 原資料の出版事項: Hampton, Va. ; Hanover, MD : National Aeronautics and Space Administration, Langley Research Center : Available from NASA Center for Aerospace Information, [2001]
SUPTDOC番号: NAS 1.26: 211024
GPO管理番号: 0830-H-14 (MF)
所蔵機関: 国立国会図書館
請求記号: YCA-NAS 1.26:211024
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000006641714
http://id.ndl.go.jp/bib/000006641714
OCLC番号: 50065665
https://www.worldcat.org/oclc/50065665
整理区分コード: 281