Introduction to logic programming

Saved in:

Bibliographic Details
Main Author:	Hogger, Christopher John
Format:	Book
Language:	English
Published:	London : Academic Press,INC. 1984
Series:	APIC Studies in Data Processing Edited by Fraser Duncan and M.J.R. Shave
Subjects:	Electronic digital computers - Programming Logic-symbolic and mathematical prolog Data structures Program verification
Tags:	Add Tag No Tags, Be the first to tag this record!

MARC


LEADER	00000nam a2200000Ia 4500
003	FRI
005	20210906140648.0
008	130910s9999 xx 000 0 und d
020		\|a 0123520908
041		\|a eng
082		\|2 21st ed. \|a 005.115 \|b HOG/I:2
100		\|a Hogger, Christopher John
245		\|a Introduction to logic programming
260		\|a London : \|b Academic Press,INC. \|c 1984
300		\|a xii, 272 p.
490		\|a APIC Studies in Data Processing \|a Edited by Fraser Duncan and M.J.R. Shave
504		\|a Index: p. 273-78.
653		\|a Electronic digital computers - Programming
653		\|a Logic-symbolic and mathematical prolog
653		\|a Data structures
653		\|a Program verification
942		\|c EN \|2 ddc
999		\|c 4538 \|d 4538