- - - y - 研究チーム
- - - - -
- - - - -
ユニット :
リンビーユニット



>>>ユニットリーダー

>>>共同研究者

>>>研究計画

>>>インタビュー


ユニットリーダー

名前 Dines Bjorner
所属 Informatics and Mathematical Modelling Professor
Technical University of Denmark Richard Petersen Plads
ホームページ
アドレス
http://www.imm.dtu.dk/~db/
論文・出版物
List : It quotes from his homepage.

共同研究者
Jorgen Fischer Nilsson(Web page)

研究計画

インタビュー
Dr. Dines Bjorner    Thursday. April 12. 2001
Dr. Jorgen Fischer Nilsson    Thursday. April 12. 2001