(No Title)
Journal
-
- A Prolog Technology Theorem Prover : A New Exposition and Implementation in Prolog
-
A Prolog Technology Theorem Prover : A New Exposition and Implementation in Prolog 1989
SRI International
- Tweet
Details 詳細情報について
-
- CRID
- 1570291225010768768
-
- NII Article ID
- 10011734265
-
- Data Source
-
- CiNii Articles