---

Automated deduction--CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur (ed.)
(Lecture notes in computer science ; 607 . Lecture notes in artificial intelligence)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1992
形態	xv, 793 p. : ill. ; 25 cm
著者標目	*International Conference on Automated Deduction (11th : 1992 : Saratoga Springs, N.Y.) Kapur, Deepak
件　名	LCSH:Automatic theorem proving -- Congresses  全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分　類	NDC:549.92 DDC:511.3 LCC:QA76.9.A96
書誌ID	LT00395928

 類似資料