Proof and computation [electronic resource] / edited 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 compu...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Corporate Authors:	North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on Proof and Computation
Other Authors:	Schwichtenberg, Helmut, 1942-
Format:	Electronic Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, ©1995.
Series:	NATO ASI series. Computer and systems sciences ; no. 139.
Subjects:	Logic programming > Congresses. Logic, Symbolic and mathematical > Congresses. Logic programming. Logic, Symbolic and mathematical. Conference papers and proceedings.