6th Conference on Automated Deduction, New York, USA, June 7-9, 1982

＜図書＞
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982

責任表示	edited by D.W. Loveland
シリーズ	Lecture notes in computer science ; 138
データ種別	図書
出版情報	Berlin ; New York : Springer-Verlag , 1982
本文言語	英語
大きさ	vii, 389 p. ; 25 cm
概要	Contains papers given at the 6th Conference on Automated Deduction, June 1982, Courant Institute of Mathematical Sciences, NYU.
電子版へのリンク	https://hdl.handle.net/2324/7017074

巻次	所蔵場所	請求記号	刷年	資料番号	予約・取寄	自動書庫
: gw	理系図3F 数理独自	SER/LNCS/138	1982	068222182017518	予約・取寄		予約・取寄
: gw	理系図自動書庫	408/L 49	1982	061232004005650	予約・取寄	出庫可能	予約・取寄	出庫可能
: gw	理系図自動書庫	Y/Goo	1982	068252182039800	予約・取寄	出庫可能	予約・取寄	出庫可能

一般注記	Includes bibliographical references
著者標目	Loveland, Donald W., 1934- *Conference on Automated Deduction (6th : 1982 : New York, N.Y.)
件　名	LCSH:Automatic theorem proving -- Congresses 全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索
分　類	LCC:QA76.9.A96 DC19:511.3
書誌ID	1000030803
ISBN	3540115587
NCID	BA03868780
巻冊次	: gw ; ISBN:3540115587 : us ; ISBN:0387115587
登録日	2009.09.10
更新日	2017.02.18