書誌事項
- タイトル別名
-
- Cut Elimination ノ ホウホウ 3
- The method of Cut Elimination (3)
この論文をさがす
抄録
application/pdf
Article
大阪府立工業高等専門学校研究紀要, 1989, 23, p.93-100
収録刊行物
-
- 大阪府立工業高等専門学校研究紀要
-
大阪府立工業高等専門学校研究紀要 23 93-100, 1989-10-30
大阪府立工業高等専門学校
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390573242523657344
-
- NII論文ID
- 120005347744
- 40004226425
-
- NII書誌ID
- AN0003109X
-
- HANDLE
- 10466/13321
-
- NDL書誌ID
- 3253602
-
- ISSN
- 0387365X
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- IRDB
- NDL
- CiNii Articles