Theorem proving with analytic tableaux and related methods : 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996 : proceedings / P. Miglioli ... [et al.] (eds.)

資料形態:
図書
形態:
x, 329 p. ; 24 cm
出版情報:
Berlin ; Tokyo : Springer-Verlag, c1996
シリーズ名:
Lecture notes in computer science ; 1071 <BA00009279>
Lecture notes in artificial intelligence ; 1071
書誌ID:
BA27487158
子書誌情報
Loading
所蔵情報
Loading availability information
eリソース ※フルテキスト閲覧可
Loading
このページでは、島根県立大学e漢字フォント の漢字フォントを使用しました。