عنوان
پدید آورنده
موضوع
رده
QA76.63 E358 1995
QA76
.
63
E358
1995
کتابخانه
محل استقرار
شابک
شابک
3642793614
شابک
3642793630
شابک
9783642793615
شابک
9783642793639
شماره کتابشناسی ملی
شماره
b573951
عنوان و نام پديدآور
عنوان اصلي
Proof and computation
نام عام مواد
[Book]
نام نخستين پديدآور
edited by Helmut Schwichtenberg.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
©1995.
مشخصات ظاهری
نام خاص و کميت اثر
(470 pages) : illustrations
فروست
عنوان فروست
NATO ASI series., Series F,, Computer and systems sciences ;, no. 139.
یادداشتهای مربوط به مندرجات
متن يادداشت
Program Development by Proof Transformation --; Concurrent Processes and Petri Nets --; Using Reflection to Explain and Enhance Type Theory --; On Geometry of Interaction --; Behavioural Specifications --; A Deductive Approach to Logic Programming --; Rewrite Proofs and Computations --; Action Structures and the Pi Calculus --; Linear Logic and Computation: A Survey --; Computable Functions on Stream Algebras --; The Proof Theoretic Complexity of Recursive Programs.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm and the wide acceptance of Prolog show this clearly. The logical notion of a formal proof in various constructive systems can be viewed as a very explicit way to describe a computation procedure. Also conversely, the development of logical systems has been influenced by accumulating knowledge on rewriting and unification techniques. This volume contains a series of lectures by leading researchers giving a presentation of new ideas on the impact of the concept of a formal proof on computation theory. The subjects covered are: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Logic programming -- Congresses.
موضوع مستند نشده
Logic, Symbolic and mathematical -- Congresses.
موضوع مستند نشده
Programmation logique -- Congrès.
رده بندی کنگره
شماره رده
QA76
.
63
نشانه اثر
E358
1995
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Helmut Schwichtenberg.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Helmut Schwichtenberg
مستند نام اشخاص تاييد نشده
North Atlantic Treaty Organization. Scientific Affairs Division.
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
