Proof finding algorithms for implicational logics
Journal
-
- Theoretical Computer Science
-
Theoretical Computer Science 232 97-105, 2000
- Tweet
Details 詳細情報について
-
- CRID
- 1572543024568652288
-
- NII Article ID
- 10008799236
-
- Data Source
-
- CiNii Articles