---

Automated deduction -- CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings / David McAllester (ed.)
(Lecture notes in computer science ; 1831 . Lecture notes in artificial intelligence)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c2000
形態	xiii, 512 p. : ill. ; 24 cm
著者標目	International Conference on Automated Deduction (17th : 2000 : Pittsburgh, PA) McAllester, David
分　類	NDC:549.92
書誌ID	LT00594019

 類似資料