Proof and computation

Saved in:

Bibliographic Details
Corporate Author:	North Atlantic Treaty Organization
Other Authors:	Schwichtenberg, Helmut 1942-
Format:	Book
Published:	Berlin Springer 1995
Series:	NATO ASI series. Series F, Computer and systems sciences vol. 139
Subjects:	Logic programming > Congresses Logic, Symbolic and mathematical > Congresses
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000n a2200000 a 4501
001	wils-151011
005	202206132816
020	#	#	\|a 3540585818
090	0	0	\|a QA76.63 \|b .P76 1995
245	1	1	\|a Proof and computation \|c edited by Helmut Schwichtenberg
260	#	#	\|a Berlin \|b Springer \|c 1995
300	#	#	\|a 470 p. \|b ill. \|c 25 cm
490	1	#	\|a NATO ASI series. Series F, Computer and systems sciences \|v vol. 139
500	#	#	\|a "Proceedings of the NATO Advanced Study Institute on Proof and Computation, held in Marktoberdorf, Germany, July 20-Aug. 1, 1993"--T.p. verso# \|a "Published in cooperation with NATO Scientific Affairs Division."
504	#	#	\|a Includes bibliographical references
650	#	0	\|a Logic programming \|x Congresses
650	#	0	\|a Logic, Symbolic and mathematical \|x Congresses
700	1	#	\|a Schwichtenberg, Helmut \|c 1942-
710	1	#	\|a North Atlantic Treaty Organization. \|c Scientific Affairs Division
856	4	0	\|z Click Here to View Status and Holdings. \|u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=151011
964	#	#	\|c BOK \|d 01
040	#	#	\|a Shah Alam