ENGLISH 使い方
文献、特許、研究者などの科学技術情報サイト

共著の研究者

共同発明の研究者

この研究者の研究内容に近い研究者

この研究者の研究内容に近い文献

この研究者の研究内容に近い特許

この研究者の研究内容に近い研究課題

この研究者が著者と推定される文献

この研究者が発明者と推定される特許

研究者
J-GLOBAL ID:200901063678116076   更新日: 2024年12月18日

MARIN Mircea

マリン ミルチア | Marin Mircea
クリップ
所属機関・部署:
職名: 講師
ホームページURL (1件): http://www.score.cs.tsukuba.ac.jp/~mmarin
研究分野 (2件): 知能情報学 ,  情報学基礎論
研究キーワード (10件): tree automata ,  pattern matching ,  functional logic programming ,  rule-based programming ,  Theorem proving ,  tree automata ,  pattern matching ,  functional logic programming ,  rule-based programming ,  Theorem proving
競争的資金等の研究課題 (2件):
  • 2005 - rule-based programming
  • 2005 - rule-based programming
MISC (116件):
もっと見る
学位 (2件):
  • Master of Science (University of Timisoara)
  • Doctor of Technical Sciences (RISC-Linz Institute, Johannes Kepler University)
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る