書誌事項
- タイトル別名
-
- On a Sequent System Directly Linked to NK
- NK ニ チョッケツシタ シーケンス タイケイ ニ ツイテ
この論文をさがす
抄録
P(論文)
収録刊行物
-
- 東京都立産業技術高等専門学校研究紀要
-
東京都立産業技術高等専門学校研究紀要 1 117-122, 2007-03-20
東京 : 東京都立産業技術高等専門学校
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050845763228835712
-
- NII論文ID
- 110006448413
-
- NII書誌ID
- AA12210629
-
- ISSN
- 18831990
-
- NDL書誌ID
- 8887919
-
- 本文言語コード
- ja
-
- 資料種別
- departmental bulletin paper
-
- データソース種別
-
- IRDB
- NDL
- CiNii Articles