Stock image for illustration purposes only - book cover, edition or condition may vary.
Proof and Computation
Helmut . Ed(S): Schwichtenberg
€ 123.70
FREE Delivery in Ireland
Description for Proof and Computation
Paperback. Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993 Editor(s): Schwichtenberg, Helmut. Series: NATO ASI Subseries F. Num Pages: 470 pages, biography. BIC Classification: UKN; UMX; UMZ; UYF. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 732.
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 ... Read more
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 ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
470
Condition
New
Series
NATO ASI Subseries F
Number of Pages
470
Place of Publication
Berlin, Germany
ISBN
9783642793639
SKU
V9783642793639
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Proof and Computation