Normal view MARC view ISBD view

Techniques of Prolog programming with implementation of logical negation and quantified goals / (Record no. 4214)

000 -LEADER
fixed length control field	00441 a2200145 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field	20230607141935.0
050 ## - LIBRARY OF CONGRESS CALL NUMBER
Classification number	QA76.73
Item number	P76Le.
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name	Le, Tu Van.
245 ## - TITLE STATEMENT
Title	Techniques of Prolog programming with implementation of logical negation and quantified goals /
Statement of responsibility, etc.	Tu Van Le.
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Name of publisher, distributor, etc.	J. Wiley
Date of publication, distribution, etc.	1993.
501 ## - WITH NOTE
With note	8217
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Prolog (Computer program language).
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element	Negation (Logic).
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type	Open Book Shelf
--	QA76.73 P76Le.
952 ## - LOCATION AND ITEM INFORMATION (KOHA)
Date last seen	2007-07-19
952 ## - LOCATION AND ITEM INFORMATION (KOHA)
Date last seen	2007-07-19

Holdings
Withdrawn status	Lost status	Source of classification or shelving scheme	Damaged status	Not for loan	Home library	Current library	Shelving location	Date acquired	Total Checkouts	Full call number	Barcode	Date last checked out	Price effective from	Koha item type
					FOUNDERS LIBRARY (S2)	FOUNDERS LIBRARY (S2)	New Materials Shelf	20.08.2007		QA76.73 P76Le.	Q001559		07.06.2023	Open Book Shelf
	Lost		Damaged		HELP UNIVERSITY (HU)	HELP UNIVERSITY (HU)	New Materials Shelf	20.08.2007		QA76.73 P76Le.	Q001500		07.06.2023	Open Book Shelf