Bibliographic Information
- Other Title
-
- Cut Elimination ノ ホウホウ 3
- The method of Cut Elimination (3)
Search this article
Abstract
application/pdf
Article
大阪府立工業高等専門学校研究紀要, 1989, 23, p.93-100
Journal
-
- 大阪府立工業高等専門学校研究紀要
-
大阪府立工業高等専門学校研究紀要 23 93-100, 1989-10-30
大阪府立工業高等専門学校
- Tweet
Details 詳細情報について
-
- CRID
- 1390573242523657344
-
- NII Article ID
- 120005347744
- 40004226425
-
- NII Book ID
- AN0003109X
-
- HANDLE
- 10466/13321
-
- NDL BIB ID
- 3253602
-
- ISSN
- 0387365X
-
- Text Lang
- ja
-
- Data Source
-
- JaLC
- IRDB
- NDL
- CiNii Articles