Computational logic essays in honor of Alan Robinson

Saved in:

Bibliographic Details
Other Authors:	Robinson, J. A. (John Alan, Lassez, Jean-Louis, Plotkin, G. (Gordonc1946-
Format:	Book
Published:	Cambridge, Mass. MIT Press 1991
Subjects:	Robinson, J. A. > (John Alan Automatic theorem proving Logic programming
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-188703
005	202222493117
020	#	#	\|a 0262121565
090	0	0	\|a QA76.9.A96 \|b C65 1991
245	1	1	\|a Computational logic \|b essays in honor of Alan Robinson \|c edited by Jean-Louis Lassez and Gordon Plotkin
260	#	#	\|a Cambridge, Mass. \|b MIT Press \|c 1991
300	#	#	\|a viii, 727 p. \|b ill. \|c 26 cm
504	#	#	\|a Includes bibliographical references
600	1	1	\|a Robinson, J. A. \|q (John Alan
650	#	0	\|a Automatic theorem proving
650	#	0	\|a Logic programming
700	1	#	\|a Robinson, J. A. \|q (John Alan
700	#	#	\|a Lassez, Jean-Louis
700	#	#	\|a Plotkin, G. \|q (Gordonc1946-
856	4	0	\|z Click Here to View Status and Holdings. \|u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=188703
964	#	#	\|c BOK \|d 01
040	#	#	\|a Shah Alam
998	#	#	\|a 00260##a0017.8\|\|00260##b0017.8\|\|00260##c0017.8\|\|00300##a0017.8\|\|00300##b0017.8\|\|00300##c0017.8\|\|01700##a0017.8\|\|02700##a0017.8\|\|02700##q0017.8\|\|