ダウンロード数: 128

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
0833-19.pdf884.5 kBAdobe PDF見る/開く
タイトル: 形式グラフ体系上の反駁木問題の並列化とグラフ同型問題(計算機構とアルゴリズム)
著者: 内田, 智之  KAKEN_name
正代, 隆義  KAKEN_name
宮野, 悟  KAKEN_name
著者名の別形: Uchida, Tomoyuki
Shoudai, Takayoshi
Miyano, Satoru
発行日: Apr-1993
出版者: 京都大学数理解析研究所
誌名: 数理解析研究所講究録
巻: 833
開始ページ: 186
終了ページ: 196
URI: http://hdl.handle.net/2433/83404
出現コレクション:0833 計算機構とアルゴリズム

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

Export to RefWorks


出力フォーマット 


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