HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >
Graduate School of Engineering / Faculty of Engineering >
北海道大学工学部研究報告 = Bulletin of the Faculty of Engineering, Hokkaido University >
No.88 >

計算機向きの様相論理の公理化

Files in This Item:
88_153-162.pdf498.05 kBPDFView/Open
Please use this identifier to cite or link to this item:http://hdl.handle.net/2115/41477

Title: 計算機向きの様相論理の公理化
Other Titles: An Axiomatization of Computer-Oriented Modal Logics
Authors: 沢村, 一1 Browse this author
前田, 隆2 Browse this author
Authors(alt): Sawamura, Hajime1
Maeda, Takashi2
Issue Date: 10-Aug-1978
Publisher: 北海道大学
Journal Title: 北海道大學工學部研究報告
Journal Title(alt): Bulletin of the Faculty of Engineering, Hokkaido University
Volume: 88
Start Page: 153
End Page: 162
Type: bulletin (article)
URI: http://hdl.handle.net/2115/41477
Appears in Collections:北海道大学工学部研究報告 = Bulletin of the Faculty of Engineering, Hokkaido University > No.88

Export metadata:

OAI-PMH ( junii2 , jpcoar_1.0 )

MathJax is now OFF:


 

 - Hokkaido University