Proof and computation /

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
Corporate Authors:	SpringerLink (Online service), North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on Proof and Computation
Other Authors:	Schwichtenberg, Helmut, 1942-
Format:	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. spécification algébrique. concurrence. théorie type. programmation en logique. théorie démonstration. Programmation logique > Congrès. Logique symbolique et mathématique > Congrès. Fundamentele informatica. Bewijstheorie. Logica matematica. Programmation logique. Logique symbolique et mathématique. Logic programming. Logic, Symbolic and mathematical. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number	Status	Get It
Call Number:		QA76.63 .P76 1995

QA76.63 .P76 1995	Available