The computational complexity of logical theories ＜Lecture notes in mathematics＞

書籍データ

著者名：Jeanne Ferrante, Charles W. Rackoff他の作品を見る

出版社：Springer-Verlag

発売日：1979

x, 243 p. 25 cm

ISBN： 0387095012