Controlled integration of the cut rule into connection tableau calculi
収録刊行物
-
- Journal of Automated Reasoning
-
Journal of Automated Reasoning 13 (3), 297-337, 1994
Springer Science and Business Media LLC
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1362825894794304000
-
- NII論文ID
- 80008070852
-
- ISSN
- 15730670
- 01687433
-
- データソース種別
-
- Crossref
- CiNii Articles