Items related to Proof and Computation: 139 (NATO ASI Subseries F:,...
Synopsis
This volume contains a series of lectures by leading researchers on the impact of the concept of a formal proof on computation theory under several aspects: specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.
"synopsis" may belong to another edition of this title.
Search results for Proof and Computation: 139 (NATO ASI Subseries F:,...
Stock Image
Proof and Computation (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 2FE8JOXDZF
Buy New
£ 75.71
£ 5.80 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
Proof and Computation
Published by
Springer Berlin Heidelberg Dez 2011, 2011
ISBN 10: 3642793630
ISBN 13: 9783642793639
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 488 pp. Englisch. Seller Inventory # 9783642793639
Stock Image
Proof and Computation (NATO ASI Subseries F:, 139)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English. Seller Inventory # ria9783642793639_new
Buy New
£ 106.71
£ 11.29 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Proof and Computation
Published by
Springer Berlin Heidelberg, 2011
ISBN 10: 3642793630
ISBN 13: 9783642793639
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20 - August 1, 1993Logical concepts and methods are of growing importance in many areas of computer science. The proofs-as-programs paradigm . Seller Inventory # 5070824
Buy New
£ 81
£ 41.75 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Proof and Computation
Published by
Springer Berlin Heidelberg, 2011
ISBN 10: 3642793630
ISBN 13: 9783642793639
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783642793639
Seller Image
Proof and Computation
Published by
Springer Berlin Heidelberg, 2011
ISBN 10: 3642793630
ISBN 13: 9783642793639
New
Taschenbuch
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Proof and Computation | Helmut Schwichtenberg | Taschenbuch | NATO ASI Subseries F: | vii | Englisch | 2011 | Springer Berlin Heidelberg | EAN 9783642793639 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 106368043
Seller Image
Proof and Computation
Published by
Springer Berlin Heidelberg, Springer Berlin Heidelberg Dez 2011, 2011
ISBN 10: 3642793630
ISBN 13: 9783642793639
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch. Seller Inventory # 9783642793639
Stock Image
Proof and Computation (Nato Asi Series (Closed) / Nato Asi Subseries F: (Closed))
Published by
Springer Berlin Heidelberg, 2012
ISBN 10: 3642793630
ISBN 13: 9783642793639
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. reprint edition. 477 pages. 9.25x6.10x1.10 inches. In Stock. Seller Inventory # x-3642793630
Buy New
£ 132.57
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available