OOTA Kazuhiko | the Department of Electrical Engineering and Computer Science, Yamanashi University
スポンサーリンク
概要
- OOTA Kazuhikoの詳細を見る
- 同名の論文著者
- the Department of Electrical Engineering and Computer Science, Yamanashi Universityの論文著者
関連著者
-
OOTA Kazuhiko
the Department of Electrical Engineering and Computer Science, Yamanashi University
-
Oota Kazuhiko
The Department Of Electrical Engineering And Computer Science Yamanashi University
-
Iwanuma K
Yamanashi Univ. Kofu‐shi Jpn
-
IWANUMA Koji
the Department of Electrical Engineering and Computer Science, Yamanashi University
-
OOTA Kazuhiko
Department of Electrical Engineering and Computer Science, Yamanashi University
-
Iwanuma Kouji
Department Of Electrical Engineering And Computer Science Yamanashi University
-
Oota Kazuhiko
Department Of Electrical Engineering And Computer Science Yamanashi University
著作論文
- Strong Contraction in Model Elimination Calculus:Implementation in a PTTP-Based Theorem Prover
- 述語サーカムスクリプションの構成的近似