5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980

＜図書＞
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 ; New York : Springer-Verlag
出版年	1980
本文言語	英語
大きさ	vii, 385 p. ; 25 cm
概要	Contains selected papers of the 5th Conference on Automated Deduction. Covers theoretical & practical approaches to the automation of deductive reasoning.
電子版へのリンク	https://hdl.handle.net/2324/7017072

巻次	所蔵場所	請求記号	刷年	資料番号	予約・取寄	自動書庫
: gw	理系図3F 数理独自	SER/LNCS/87	1980	068222480109174	予約・取寄		予約・取寄
: gw	中央図 2B	549.9/L 49/(87)	1980	058211981144837	予約・取寄		予約・取寄
: gw	【故障中】理系図自動書庫	408/L 49	1980	061232004005142	予約・取寄	出庫可能	予約・取寄	出庫可能
: gw	芸工図 2F 工学図書室	549.92/L49/87	1980	072032180007404	予約・取寄		予約・取寄

一般注記	Includes bibliographies
著者標目	*Conference on Automated Deduction (5th : 1980 : Les Arcs, Bourg-Saint-Maurice, France) Bibel, Wolfgang, 1938- Kowalski, Robert
件　名	LCSH:Automatic theorem proving -- Congresses 全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索
分　類	LCC:QA76.9.A96 DC:511.3
書誌ID	1000029360
ISBN	3540100091
NCID	BA03082774
巻冊次	: gw ; ISBN:3540100091 : us ; ISBN:0387100091
登録日	2009.09.10
更新日	2017.02.18