منو
رکورد قبلیرکورد بعدی

" Micromechanics of heterogeneous materials / "


Document Type : BL
Record Number : 753989
Doc. No : b573951
Main Entry : edited by Helmut Schwichtenberg.
Title & Author : Proof and computation\ edited by Helmut Schwichtenberg.
Publication Statement : Berlin ; New York : Springer, ©1995.
Series Statement : NATO ASI series., Series F,, Computer and systems sciences ;, no. 139.
Page. NO : (470 pages) : illustrations
ISBN : 3642793614
: : 3642793630
: : 9783642793615
: : 9783642793639
Contents : 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.
Abstract : 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.
Subject : Logic programming -- Congresses.
Subject : Logic, Symbolic and mathematical -- Congresses.
Subject : Programmation logique -- Congrès.
LC Classification : ‭QA76.63‬‭E358 1995‬
Added Entry : Helmut Schwichtenberg
copyhttps://lib.clisel.com/site/catalogue/655319
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟