Computation theory and logic

＜図書＞
Computation theory and logic

責任表示	Egon Börger (ed.)
シリーズ	Lecture notes in computer science ; 270
データ種別	図書
出版情報	Berlin ; Tokyo : Springer-Verlag , c1987
本文言語	英語
大きさ	ix, 442 p. ; 25 cm
概要	This volume contains 37 invited research papers collected in memory of Dieter R dding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum pr...blem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectrum of Dieter R dding's scientific interests. This volume contains 37 invited research papers collected in memory of Dieter R dding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectrum of Dieter R dding's scientific interests. 続きを見る
電子版へのリンク	https://hdl.handle.net/2324/7017575

巻次	所蔵場所	請求記号	刷年	資料番号	予約・取寄	自動書庫
: us	理系図3F 数理独自	SER/LNCS/270	1987	068222189001120	予約・取寄		予約・取寄
: us	理系図自動書庫	007/L 49	1987	068252188003192	予約・取寄	出庫可能	予約・取寄	出庫可能
: gw	理系図自動書庫	408/L 49	1987	061232004006970	予約・取寄	出庫可能	予約・取寄	出庫可能

一般注記	"In memory of Dieter Rödding, 24.8.1937-4.6.1984, on the occasion of the 50th anniversary of his birth"--P. [iii] Includes bibliographical references
著者標目	Börger, Egon, 1946-
件　名	LCSH:Machine theory LCSH:Computational complexity LCSH:Rödding, D. (Dieter), 1937- NDLSH:機械論
分　類	LCC:QA267 DC19:511 NDC8:007.1 NDC8:418
書誌ID	1000035821
ISBN	3540181709
NCID	BA00789713
巻冊次	: gw ; ISBN:3540181709 : us ; ISBN:0387181709
登録日	2009.09.10
更新日	2017.02.18