---

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 / edited by W. Bibel and R. Kowalski
(Lecture notes in computer science ; 87)

データ種別	図書
出版者	Berlin : Springer-Verlag
出版年	1980
形態	vii, 385 p. ; 24 cm
著者標目	Conference on Automated Deduction (5th : 1980 : Les Arcs, France) Bibel, Wolfgang, 1938- Kowalski, Robert
件　名	LCSH:Automatic theorem proving -- Congresses  全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分　類	NDC:549.92 DDC:511.3 LCC:QA76.9.A96
書誌ID	LT00168966

 類似資料