Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

＜図書＞
Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

責任表示	edited by E. Börger, G. Hasenjaeger, and D. Rödding
シリーズ	Lecture notes in computer science ; 171
データ種別	図書
出版情報	Berlin ; Tokyo : Springer-Verlag , 1984
本文言語	英語
大きさ	vi, 456 p. : ill. ; 25 cm
電子版へのリンク	https://hdl.handle.net/2324/7018540

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
	: gw	理系図3F 数理独自	SER/LNCS/171	1984		068222184005667		予約・取寄			予約・取寄
	: gw	理系図自動書庫	408/L 49	1984		061232004005980		予約・取寄		出庫可能	予約・取寄		出庫可能

一般注記	Includes bibliographies
著者標目	*Symposium "Rekursive Kombinatorik" (1983 : Münster/Westfalen) Börger, Egon, 1946- Hasenjaeger, G. (Gisbert), 1919- Rödding, D. (Dieter), 1937-
件　名	LCSH:Machine theory -- Congresses 全ての件名で検索 LCSH:Computational complexity -- Congresses 全ての件名で検索 LCSH:Decision-making -- Congresses 全ての件名で検索
分　類	LCC:QA267 DC19:511
書誌ID	1000033174
ISBN	3540133313
NCID	BA03713886
巻冊次	: gw ; ISBN:3540133313 : us ; ISBN:0387133313
登録日	2009.09.10
更新日	2017.02.18