Togashi Atsushi | Research Institute of Electrical Communication, Tohoku University
スポンサーリンク
概要
- Togashi Atsushiの詳細を見る
- 同名の論文著者
- Research Institute of Electrical Communication, Tohoku Universityの論文著者
関連著者
-
Togashi Atsushi
Research Institute of Electrical Communication, Tohoku University
-
Togashi Atsushi
Research Institute Of Electrical Communication Graduate School Of Information Sciences Tohoku Univer
-
Noguchi Shoichi
Research Center For Applied Information Science Tohoku University
-
Togashi A
Tohoku Univ. Sendai Jpn
-
Hou Ben-hui
Research Institute Of Electrical Communication Tohoku University
-
Noguchi S
Research Institute Of Electrical Communication Tohoku University
-
Togashi Atsushi
Research Institute Of Electrical Communication Tohoku University
-
Kimura Shigetomo
Research Institute of Electrical Communication, Tohoku University
-
Kimura Shigetomo
Research Institute Of Electrical Communication Tohoku University
-
Mansfield G
Tokyo Inst. Technol. Tokyo Jpn
-
MANSFIELD GLENN
Research Institute of Electrical Communication, Tohoku University
-
NOGUCHI SHOICHI
Research Institute of Electrical Communication, Tohoku University
-
Noguchi Shoichi
Research Institute Of Electrical Communication Tohoku University
-
Noguchi Shoichi
Research Center For Applied Information Sciences Tohoku University
-
Mansfield Glenn
Research Institute Of Electrical Communication Tohoku University
-
Fujita Ken-etsu
Dept. Of Artificial Intelligence Kyushu Institute Of Technology
-
Noguchi Shoichi
Research Center for Applied Information Sciences, Tohoku University
著作論文
- Inductive Inference of Algebraic Processes Based on Hennessy-Milner Logic (Special Section on Net Theory and Its Applications)
- AMLOG : an Amalgamated Equational Logic Programming Language
- Generalized Predicate Completion and its Relation to Circumscription
- A Partial Translation of Default Logic to Circumscription
- Can Completion Entail Circumscription (Sometimes)?
- A Canonical Translation from Higher Order Logic to Typed Lambda Calculus