WEKO3
-
RootNode
アイテム
シーケント計算に基づく証明系と法的推論への適用
http://hdl.handle.net/10742/933
http://hdl.handle.net/10742/933d9d4706a-1e70-4b47-9e30-41bf2897c98a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
SJ-10-2-093.pdf (976.1 kB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2010-09-16 | |||||
| タイトル | ||||||
| タイトル | シーケント計算に基づく証明系と法的推論への適用 | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| 著者 |
長田, 博泰
× 長田, 博泰 |
|||||
| 著者別名 | ||||||
| 識別子Scheme | WEKO | |||||
| 識別子 | 1734 | |||||
| 姓名 | Nagata, Hiroyasu | |||||
| 書誌情報 |
社会情報 = Social Information 巻 10, 号 2, p. 93-106, 発行日 2001-03 |
|||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 0917-673X | |||||
| その他のタイトル | ||||||
| その他のタイトル | A Theorem Prover Based on Sequent Calculus and Its Application to Legal Reasoning | |||||
| 出版者 | ||||||
| 出版者 | 札幌学院大学社会情報学部 | |||||
| 資源タイプ | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | Bulletin | |||||
