述語サーカムスクリプションの構成的近似
スポンサーリンク
概要
- 論文の詳細を見る
- 1993-07-20
著者
-
OOTA Kazuhiko
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
The 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
- Finite Approximations of Predicate Circumscription
- 述語サーカムスクリプションの構成的近似