ダウンロード数: 199

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1318_11.pdf587.09 kBAdobe PDF見る/開く
タイトル: 関係デ-タベ-スにおける従属性検証システムの実装 (代数・論理・幾何と情報科学)
著者: 本多, 和正  KAKEN_name
著者名の別形: Honda, Kazumasa
発行日: May-2003
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 1318
開始ページ: 94
終了ページ: 101
URI: http://hdl.handle.net/2433/43033
出現コレクション:1318 代数・論理・幾何と情報科学

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

Export to RefWorks


出力フォーマット 


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