Japanese | English

トップページへ戻る

作成者ヨミ 別一覧


論理的推論に関する研究(2)
作成者 : ゲンツェン, G. / 田村, 三郎 掲載誌名 : 山口大学教養部紀要. 自然科学篇 巻 : 13 号 : 開始ページ : 21 終了ページ : 40 発行日 : 1979-10 リポジトリID : D060013000004
アクセス件数 : 700 件 ダウンロード件数 : 0 件
論理的推論に関する研究(1)
作成者 : ゲンツェン, G. / 田村, 三郎 掲載誌名 : 山口大学教養部紀要. 自然科学篇 巻 : 12 号 : 開始ページ : 0 終了ページ : 20 発行日 : 1978-10 リポジトリID : D060012000001
アクセス件数 : 1046 件 ダウンロード件数 : 0 件
The Separation Theorem of NBN-system
作成者 : Tamura, Saburo 掲載誌名 : 山口大学教養部紀要 巻 : 11 号 : 開始ページ : 123 終了ページ : 128 発行日 : 1977-10 リポジトリID : D050011000009
アクセス件数 : 954 件 ダウンロード件数 : 0 件
On NBN-systems
作成者 : Tamura, Saburo 掲載誌名 : 山口大学教養部紀要 巻 : 10 号 : 開始ページ : 205 終了ページ : 210 発行日 : 1976-10 リポジトリID : D050010000014
アクセス件数 : 896 件 ダウンロード件数 : 0 件
On a Decision Procedure for Residuated Semigroups
作成者 : Tamura, Saburo 掲載誌名 : 山口大学教養部紀要 巻 : 9 号 : 開始ページ : 155 終了ページ : 158 発行日 : 1975-10 リポジトリID : D050009000011
アクセス件数 : 833 件 ダウンロード件数 : 0 件
On a Decision Procedure for Free Poalgebraic Systems
作成者 : Tamura, Saburo 掲載誌名 : 山口大学教養部紀要 巻 : 9 号 : 開始ページ : 159 終了ページ : 164 発行日 : 1975-10 リポジトリID : D050009000012
アクセス件数 : 934 件 ダウンロード件数 : 0 件
A Solution of the Decision Problem for Free Pseudo-complemented Semilattices
作成者 : Tamura, Saburo 掲載誌名 : 山口大学教養部紀要 巻 : 8 号 : 開始ページ : 235 終了ページ : 238 発行日 : 1974-11 リポジトリID : D050008000012
アクセス件数 : 871 件 ダウンロード件数 : 0 件
On the Word Problem for Free Right-residuated Lattices
作成者 : Tamura, Saburo 掲載誌名 : 山口大学教養部紀要 巻 : 7 号 : 開始ページ : 103 終了ページ : 108 発行日 : 1973-11 リポジトリID : D050007000007
アクセス件数 : 956 件 ダウンロード件数 : 0 件
Axiom Systems for Commutative Rings and Distributive Lattices
作成者 : Tamura, Saburo 掲載誌名 : 山口大学教養部紀要 巻 : 7 号 : 開始ページ : 97 終了ページ : 102 発行日 : 1973-11 リポジトリID : D050007000006
アクセス件数 : 1004 件 ダウンロード件数 : 0 件
A Decision Procedure for Po-groupoids and Po-semigroups
作成者 : Tamura, Saburo 掲載誌名 : 山口大学教養部紀要 巻 : 6 号 : 開始ページ : 119 終了ページ : 124 発行日 : 1972-11 リポジトリID : D050006000010
アクセス件数 : 936 件 ダウンロード件数 : 0 件
The Implicational Fragments of Intensional Logics
作成者 : Tamura, Saburo 掲載誌名 : 山口大学教養部紀要 巻 : 5 号 : 開始ページ : 45 終了ページ : 50 発行日 : 1971-11 リポジトリID : D050005000004
アクセス件数 : 922 件 ダウンロード件数 : 0 件
On The Weak Implication Calulus
作成者 : Tamura, Saburo 掲載誌名 : 山口大学教養部紀要 巻 : 4 号 : 開始ページ : 75 終了ページ : 84 発行日 : 1970-11 リポジトリID : D050004000006
アクセス件数 : 920 件 ダウンロード件数 : 0 件
自由束における等式の機械証明について
作成者 : 田村, 三郎 / 福田, 敏宏 掲載誌名 : 山口大学教養部紀要 巻 : 3 号 : 開始ページ : 63 終了ページ : 74 発行日 : 1969-11 リポジトリID : D050003000006
アクセス件数 : 614 件 ダウンロード件数 : 0 件

[1]