奥居 哲
オクイ サトシ (Satoshi Okui)
更新日: 2024/12/18
基本情報
研究キーワード
2研究分野
1学歴
4-
- 1995年
-
- 1995年
-
- 1990年
-
- 1990年
MISC
10-
情報処理学会論文誌プログラミング(PRO) (近刊) 2004年
-
Workshop on Synthetic Simulation and Robotics 2003年
-
Workshop on Synthetic Simulation and Robotics 2003年
-
JOURNAL OF SYMBOLIC COMPUTATION 25(6) 733-757 1998年6月
-
9th RTA (Lecture Notes in Computer Science), Springer (1379) 2-16 1998年
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 1379(1379) 2-16 1998年
-
Theoretical Computer Science(to appear in volume 167, October 1996) 167(1-2)pp.95-130 1996年
-
Fuji International Workshop on Functional and Logic Programming(World Scientific) pp.104-118 1995年
-
TAPSOFT95 (Lecture Notes in Computer Science), Springer (915) 394-409 1995年
-
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS E77D(6) 631-641 1994年6月