ダウンロード数: 0
このアイテムのファイル:
このアイテムに関連するファイルはありません。
タイトル: | 自動証明における自然な証明生成の1アルゴリズム(理論計算機科学とその周辺) |
著者: | 大芝, 猛 |
著者名の別形: | Oshiba, Takeshi |
発行日: | Jun-1992 |
出版者: | 京都大学数理解析研究所 |
誌名: | 数理解析研究所講究録 |
巻: | 790 |
開始ページ: | 125 |
終了ページ: | 133 |
著作権等: | 未許諾のため本文はありません。 |
URI: | http://hdl.handle.net/2433/82659 |
出現コレクション: | 0790 理論計算機科学とその周辺 |
このリポジトリに保管されているアイテムはすべて著作権により保護されています。