Dataflow Computing Mechanism for Logic Program and Extraction of Functional from it
World Scientific, Software Science and Engineering (Nakata,I and Hagiya,M., eds.) 1991
学位 (1件):
京都大学工学博士
所属学会 (5件):
日本数学会
, アメリカ人工知能学会(American Association for Artificial Intelligence)
, ヨーロッパ理論計算機科学会(European Association for Theoretical Computer Science)
, AAAI
, EATCS