文献一覧: 三浦聰 (著者) - Ceek.jp Altmetrics

2 0 0 0 OA 様相述語体系の一階述語論理への埋め込みについて

著者: 三浦聰
出版者: 日本科学哲学会
雑誌: 科学哲学 (ISSN:02893428)
巻号頁・発行日: vol.15, pp.107-121, 1982-11-13 (Released:2009-05-29)
参考文献数: 5