ダウンロード数: 133

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1604-02.pdf1.03 MBAdobe PDF見る/開く
タイトル: 定理証明ツールによる証明可能安全性 (代数、言語のアルゴリズムと計算理論)
著者: 田中, 三貴  KAKEN_name
著者名の別形: Tanaka, Miki
発行日: Jun-2008
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 1604
開始ページ: 9
終了ページ: 18
URI: http://hdl.handle.net/2433/139937
出現コレクション:1604 代数、言語のアルゴリズムと計算理論

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

Export to RefWorks


出力フォーマット 


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