シーケント計算に基づく証明系と法的推論への適用 - 文献詳細 - Ceek.jp Altmetrics

1 0 0 0 IR シーケント計算に基づく証明系と法的推論への適用

著者: 長田博泰
出版者: 札幌学院大学社会情報学部
雑誌: 社会情報 (ISSN:0917673X)
巻号頁・発行日: vol.10, no.2, pp.93-106, 2001-03

2014-05-22 22:36:53
1 + 0 Twitter

https://ci.nii.ac.jp/naid/110000478555

言及状況

Twitter (1 users, 2 posts, 0 favorites)

収集済み URL リスト