---

Computational logic and proof theory : Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993 : proceedings / Georg Gottlob, Alexander Leitsch, Daniele Mundici, eds.
(Lecture notes in computer science ; 713)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1993
形態	xi, 348 p. : ill. ; 24 cm
著者標目	Kurt Gödel Colloquium (3rd : 1993 : Brno, Czech Republic) Gottlob, Georg, 1956- Leitsch, Alexander, 1952- Mundici, Daniele, 1946- Kurt Gödel Society
件　名	LCSH:Automatic theorem proving -- Congresses  全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分　類	NDC:549.92 DDC:511.3 LCC:QA76.9.A96
書誌ID	LT00441137

 類似資料