ダウンロード数: 151

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1138-18.pdf464.48 kBAdobe PDF見る/開く
タイトル: 等号公理下での論理式の標準形とその一階言語への応用 (数式処理における理論と応用の研究)
著者: 元吉, 文男  KAKEN_name
秋葉, 澄孝  KAKEN_name
佐藤, 泰介  KAKEN_name
著者名の別形: Motoyoshi, Fumio
Akiba, Sumitaka
Sato, Taisuke
発行日: Apr-2000
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 1138
開始ページ: 220
終了ページ: 225
URI: http://hdl.handle.net/2433/63813
出現コレクション:1138 数式処理における理論と応用の研究

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

Export to RefWorks


出力フォーマット 


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