---

8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / edited by Jörg H. Siekmann
(Lecture notes in computer science ; 230)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1986
形態	ix, 708 p. ; 25 cm
著者標目	International Conference on Automated Deduction (8th : 1986 : Oxford, Oxfordshire) Siekmann, Jörg H., 1941-
件　名	LCSH:Automatic theorem proving -- Congresses  全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索 NDLSH:記号論理学
分　類	NDC:549.92 DDC:511.3 LCC:QA76.9.A96
書誌ID	LT00182203

 類似資料