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

FONT SIZE:  S M L

Proof Procedure based on Modified Analytic Tableaux

Sawamura, Hajime;Maeda, Takashi;Kawaguchi, Michiaki

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

Abstract


FULL TEXT:PDF