---

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.)
(Lecture notes in computer science ; 1071 . Lecture notes in artificial intelligence)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1996
形態	x, 329 p. : ill. ; 24 cm
著者標目	*Workshop Theorem Proving with Analytic Tableaux and Related Methods (5th : 1996 : Terrasini, Palermo, Italy) Miglioli, Pierangelo
件　名	LCSH:Logic programming -- Congresses  全ての件名で検索 LCSH:Reasoning -- Congresses  全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00500157

 類似資料