文献
J-GLOBAL ID:201602204966130263
整理番号:16A0295286
マルチコンテキスト代数的推論システムの効率的実装のための遅延評価スキーム
Lazy Evaluation Schemes for Efficient Implementation of Multi-Context Algebraic Reasoning Systems
著者 (3件):
JI ChengCheng
(Hokkaido Univ., Sappro, JPN)
,
SATO Haruhiko
(Hokkaido Univ., Sappro, JPN)
,
KURIHARA Masahito
(Hokkaido Univ., Sappro, JPN)
資料名:
情報処理学会全国大会講演論文集
巻:
78th
号:
2
ページ:
2.609-2.610
発行年:
2016年03月10日
JST資料番号:
S0731A
資料種別:
会議録 (C)
記事区分:
短報
発行国:
日本 (JPN)
言語:
英語 (EN)