عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
321182796X
شابک
370919461X
شابک
9783211827963
شابک
9783709194614
شماره کتابشناسی ملی
شماره
b587812
عنوان و نام پديدآور
عنوان اصلي
Collegium Logicum.
نام عام مواد
[Book]
نام نخستين پديدآور
Kurt-Gödel-Gesellschaft
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Vienna
نام ناشر، پخش کننده و غيره
Springer Vienna
تاریخ نشرو بخش و غیره
1996
مشخصات ظاهری
نام خاص و کميت اثر
(VII, 140 Seiten 3 Illustrationen)
فروست
عنوان فروست
Collegium Logicum, Annals of the Kurt-Gödel-Society, 2
يادداشت کلی
متن يادداشت
Contents: H. de Nivelle: Resolution Games and Non-Liftable Resolution Orderings. - M. Kerber, M. Kohlhase: A Tableau Calculus for Partial Functions. - G. Salzer: MUltlog: an Expert System for Multiple-valued Logics. - J. Krajícþek: A Fundamental Problem of Mathematical Logic. - P. Pudlák: On the Lengths of Proofs of Consistency. - A. Carbone: The Craig Interpolation Theorem for Schematic Systems. - I.A. Stewart: The Role of Monotonicity in Descriptive Complexity Theory. - R. Freund, L. Staiger: Numbers Defined by Turing Machines.
یادداشتهای مربوط به مندرجات
متن يادداشت
Resolution Games and Non-liftable Resolution Orderings.- A Tableau Calculus for Partial Functions.- MUltlog: an Expert System for Multiple-valued Logics.- A Fundamental Problem of Mathematical Logic.- On the Lengths of Proofs of Consistency.- The Craig Interpolation Theorem for Schematic Systems.- The Role of Monotonicity in Descriptive Complexity Theory.- Numbers Defined by Turing Machines.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Computer software.
موضوع مستند نشده
Logic design.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Kurt-Gödel-Gesellschaft
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Kurt-Gödel-Gesellschaft
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
