図書

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)

国立国会図書館請求記号
YCA-NAS 1.26:211024
国立国会図書館書誌ID
000006641714
資料種別
図書
著者
Owre, Samほか
出版者
-
出版年
2001
資料形態
マイクロ
ページ数・大きさ等
microfiche ; 11 × 15 cm
NDC
-
すべて見る

資料に関する注記

一般注記:

Shipping list no.: 2002-0230-M"July 2001."Physical description for original version: 1 v

書店で探す

書誌情報

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

マイクロ

資料種別
図書
出版年(W3CDTF)
2001
数量
microfiche
大きさ
11 × 15 cm
出版地(国名コード)
US
本文の言語コード
eng