عنوان
پدید آورنده
موضوع
رده
QA76.63 E358 1995
QA76
.
63
E358
1995
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642793614
(Number (ISBN
3642793630
(Number (ISBN
9783642793615
(Number (ISBN
9783642793639
NATIONAL BIBLIOGRAPHY NUMBER
Number
b573951
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proof and computation
General Material Designation
[Book]
First Statement of Responsibility
edited by Helmut Schwichtenberg.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ; New York
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
©1995.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
(470 pages) : illustrations
SERIES
Series Title
NATO ASI series., Series F,, Computer and systems sciences ;, no. 139.
CONTENTS NOTE
Text of Note
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.
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Logic programming -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
Programmation logique -- Congrès.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
63
Book number
E358
1995
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Helmut Schwichtenberg.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Helmut Schwichtenberg
North Atlantic Treaty Organization. Scientific Affairs Division.
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
