عنوان
پدید آورنده
موضوع
رده
QA76.9.L63 E358 1999
QA76
.
9
.
L63
E358
1999
کتابخانه
محل استقرار
شابک
شابک
3540645896
شابک
3642586228
شابک
9783540645894
شابک
9783642586224
شماره کتابشناسی ملی
شماره
b558357
عنوان و نام پديدآور
عنوان اصلي
Computational logic
نام عام مواد
[Book]
نام نخستين پديدآور
edited by Ulrich Berger, Helmut Schwichtenberg.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
1999
مشخصات ظاهری
نام خاص و کميت اثر
(444 pages :) : illustrations.
فروست
عنوان فروست
NATO ASI series., Series F,, Computer and systems sciences ;, no. 165.
يادداشت کلی
متن يادداشت
Published in cooperatiton with NATO Scientific Affairs Division.;Softcover reprint of the hardcover 1st edition 1999.
یادداشتهای مربوط به مندرجات
متن يادداشت
Game Semantics.- Notes on the Simply Typed Lambda Calculus.- Problems in Type Theory.- Formal Correctness Proofs of Functional Programs: Dijkstra's Algorithm, a Case Study.- Propositional Proof Complexity - An Introduction.- Formalizing Decidability Theorems About Automata.- On the Meaning of Logical Rules I: Syntax Versus Semantics.- Complexity of Primitive Recursion.- Computers, Reasoning and Mathematical Practice.- Research Directions in Rewriting Logic.- Sequent Calculus and the Specification of Computation.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer logic.
رده بندی کنگره
شماره رده
QA76
.
9
.
L63
نشانه اثر
E358
1999
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Ulrich Berger, Helmut Schwichtenberg.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Helmut Schwichtenberg
مستند نام اشخاص تاييد نشده
North Atlantic Treaty Organization. Scientific Affairs Division.
مستند نام اشخاص تاييد نشده
Ulrich Berger
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
