Ceek.jp Altmetrics (α ver.)
文献ランキング
合計
1ヶ月間
1週間
1日間
文献カレンダー
新着文献
すべて
2 Users
5 Users
10 Users
新着投稿
Yahoo!知恵袋
レファレンス協同データベース
教えて!goo
はてなブックマーク
OKWave
Twitter
Wikipedia
検索
ウェブ検索
ニュース検索
ホーム
文献一覧: 和泉 孔二 (著者)
1件
2
0
0
0
双対直観主義命題論理計算DLJのGentzen流形式化
著者
和泉 孔二
出版者
阪南大学学会
雑誌
阪南論集 人文・自然科学編
(
ISSN:03881822
)
巻号頁・発行日
vol.25, no.1, pp.p115-126, 1989