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
|