Proof and computation
By: edited by Helmut Schwichtenberg.
Contributors: Schwichtenberg, Helmut, 1942-; North Atlantic Treaty Organization. Scientific Affairs Division.; NATO Advanced Study Institute on Proof and Computation (1993 : Marktoberdorf, Germany)
Series: NATO ASI series. Series F, Computer and systems sciences ;; vol. 139; NATO ASI series.; no. 139.
Publisher: Springer
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 470
Subjects: Logic programming -- Congresses.; Logic, Symbolic and mathematical -- Congresses.
Notes: Includes bibliographical references.
"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."