HUSCAP logo Hokkaido Univ. logo

Hokkaido University Collection of Scholarly and Academic Papers >
Graduate School of Engineering / Faculty of Engineering >
北海道大學工學部紀要 = Memoirs of the Faculty of Engineering, Hokkaido University >
Vol.14 No.3 >

Proof Procedure based on Modified Analytic Tableaux

Files in This Item:
14(3)_65-76.pdf565.55 kBPDFView/Open
Please use this identifier to cite or link to this item:http://hdl.handle.net/2115/37955

Title: Proof Procedure based on Modified Analytic Tableaux
Authors: Sawamura, Hajime Browse this author
Maeda, Takashi Browse this author
Kawaguchi, Michiaki Browse this author
Issue Date: Dec-1976
Publisher: Hokkaido University
Journal Title: Memoirs of the Faculty of Engineering, Hokkaido University
Journal Title(alt): 北海道大学工学部紀要
Volume: 14
Issue: 3
Start Page: 65
End Page: 76
Type: bulletin (article)
URI: http://hdl.handle.net/2115/37955
Appears in Collections:北海道大學工學部紀要 = Memoirs of the Faculty of Engineering, Hokkaido University > Vol.14 No.3

Export metadata:

OAI-PMH ( junii2 , jpcoar_1.0 )

MathJax is now OFF:


 

 - Hokkaido University