北海道大學工學部紀要 = Memoirs of the Faculty of Engineering, Hokkaido University - Vol.14 No.3

Proof Procedure based on Modified Analytic Tableaux

Sawamura, Hajime;Maeda, Takashi;Kawaguchi, Michiaki

Permalink :  http://hdl.handle.net/2115/37955

FULL TEXT :  PDF