Proof and Computation by Helmut Schwichtenberg
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.-
Interactive Learning Technology for the Deaf
-
Modelling, Robustness and Sensitivity Reduction in Control Systems
-
Sensor Devices and Systems for Robotics
-
Expert Judgment and Expert Systems
-
Computer Aided Analysis and Optimization of Mechanical System Dynamics
-
Real Time Computing
-
Constraint Programming
-
Logic and Algebra of Specification
-
Simulation-Based Experiential Learning
-
Distributed Operating Systems
-
Pattern Recognition Theory and Applications
-
Technology-Based Learning Environments
-
Pyramidal Systems for Computer Vision
-
Computational Models of Speech Pattern Processing
-
Software System Design Methods
-
Robotics and Artificial Intelligence
-
Pictorial Data Analysis
-
Automating Instructional Design, Development, and Delivery
-
The Biology and Technology of Intelligent Autonomous Agents
-
Fundamentals in Handwriting Recognition
-
CAD Based Programming for Sensory Robots
-
Modelling and Analysis in Arms Control
-
Organizational Learning and Technological Change
-
Learning from Computers: Mathematics Education and Technology
-
Computational Mathematical Programming
-
Information Technology and the Computer Network
-
Image Sequence Processing and Dynamic Scene Analysis
-
Simulation and Model-Based Methodologies: An Integrative View
-
Program Transformation and Programming Environments
-
Computer Architectures for Spatially Distributed Data
-
Computer Supported Collaborative Learning
-
From Statistics to Neural Networks
-
Database Machines
-
Face Recognition
-
Designing Computer-Based Learning Materials
-
Information Systems: Failure Analysis
-
Advanced Information Technologies for Industrial Material Flow Systems
-
Computer Integrated Manufacturing
-
Disordered Systems and Biological Organization
-
Decision Support Systems: Theory and Application
-
Cooperation: Game-Theoretic Approaches
-
International Calibration Study of Traffic Conflict Techniques
-
Mathematical Models for Decision Support
-
New Systems and Architectures for Automatic Speech Recognition and Synthesis
-
Electronic Systems Effectiveness and Life Cycle Costing
-
Logics and Models of Concurrent Systems
-
Issues in Acoustic Signal — Image Processing and Recognition
-
Knowledge Acquisition, Organization, and Use in Biology
-
Recent Advances in Speech Understanding and Dialog Systems
| SKU | Unavailable |
| ISBN 13 | 9783642793639 |
| ISBN 10 | 3642793630 |
| Title | Proof and Computation |
| Author | Helmut Schwichtenberg |
| Series | Nato Asi Subseries F |
| Condition | Unavailable |
| Binding Type | Paperback |
| Publisher | Springer |
| Year published | 2011-12-13 |
| Number of pages | 470 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |