ダウンロード数: 73

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0522-20.pdf871.94 kBAdobe PDF見る/開く
タイトル: 入力制約を用いた論理回路の形式的検証について(計算機科学の基礎理論)
著者: 木村, 晋二  KAKEN_name
安浦, 寛人  KAKEN_name
矢島, 脩三  KAKEN_name
著者名の別形: Kimura, Shinji
Yasuura, Hiroto
Yajima, Shuzo
発行日: May-1984
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 522
開始ページ: 266
終了ページ: 279
URI: http://hdl.handle.net/2433/98461
出現コレクション:0522 計算機科学の基礎理論

アイテムの詳細レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。