Proof and computation
著者
書誌事項
Proof and computation
（NATO ASI series, Ser. F . Computer and systems sciences ; v. 139）
Springer-Verlag, 1995
大学図書館所蔵 件 / 全28件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
"Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20-Aug. 1, 1993" -- T.p. verso
"Published in cooperation with NATO Scientific Affairs Division"
Includes bibliographical references
内容説明・目次
内容説明
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 computational procedure. 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 include specification and abstract data types, proving techniques, constructive methods, linear logic, and concurrency and logic.
「Nielsen BookData」 より