---

10th International Conference on Automated Deduction : Kaiserslautern, FRG, July, 1990, proceedings / M.E. Stickel, (ed.)
(Lecture notes in computer science ; 449 . Lecture notes in artificial intelligence)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1990
形態	xvi, 688 p. : ill. ; 25 cm
著者標目	*International Conference on Automated Deduction (10th : 1990 : Kaiserslautern, Germany) Stickel, Mark E., 1947-
件　名	LCSH:Automatic theorem proving -- Congresses  全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分　類	NDC:549.92 DDC:511.3 LCC:QA76.9.A96
書誌ID	LT00321819

 類似資料