一覧
登録利用者:
登録者ページ
利用者(E-people)

JAIST Repository >
i. 北陸先端科学技術大学院大学(JAIST) >
i20. 学位論文 >
D-IS. 博士（情報科学） >
D-IS. 1996年度(H08) >

このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/10119/842

タイトル: On some characterizations of implicational formulas in the intuitionistic logic
著者: 青戸, 等人
発行日: Mar-1997
記述: 
石原
情報科学研究科
博士
タイトル（英語）: On some characterizations of implicational formulas in the intuitionistic logic
URI: http://hdl.handle.net/10119/842
出現コレクション:D-IS. 1996年度(H08) (Jun.1996 - Mar.1997)

このアイテムのファイル:

このアイテムに関連するファイルはありません。

当システムに保管されているアイテムはすべて著作権により保護されています。

 
お問い合わせ先 : 北陸先端科学技術大学院大学　研究推進課図書館情報係