Opening book details…
Can I read Proof and Computation (Nato ASI Subseries F:, 139) on EtoBox?
Proof and Computation (Nato ASI Subseries F:, 139) by Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.) is a nonfiction available to read on EtoBox.
What is Proof and Computation (Nato ASI Subseries F:, 139) about?
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. Erscheinungsdatum: 13.12.2011
Who reads Proof and Computation (Nato ASI Subseries F:, 139)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1995
- Language
- EN
- ISBN
- 9783540585817
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Programming
Other editions & translations
More by Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.)
Browse all works by Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.)
Similar books
- Logic, Algebra, and Computation: International Summer School (Nato ASI Subseries F:, 79) — J. V. Tucker (auth.), Friedrich L. Bauer (1991)
- Constraint Programming (nato Asi Subseries F:) — Brian Mayoh, Enn Tyugu, Tarmo Uustalu (auth.), Brian Mayoh, Enn Tyugu, Jaan Penjam (1994)
- Parallel Computing On Distributed Memory Multiprocessors (nato Asi Subseries F:) — William J. Dally, D. Scott Wills, Richard Lethin (auth.), Füsun Özgüner, Fikret Erçal (1993)
- Gene Therapy (nato Asi Subseries H:) — Jovan Mirkovitch (auth.), Kleanthis G. Xanthopoulos (1998)
- Pictorial Data Analysis (Nato ASI Subseries F:, 4) — S. Levialdi (auth.), Robert M. Haralick (1983)
- Advances in Object-Oriented Database Systems (Nato ASI Subseries F:, 130) — Stanley B. Zdonik (auth.), Asuman Dogac, M. Tamer Özsu, Alexandros Biliris, Timos Sellis (1994)
