Matheson Library
Empowering Knowledge, Inspiring Discovery

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

MARC details
000 -LEADER
fixed length control field 00857nam a2200217 4500
001 - CONTROL NUMBER
control field 00019208
003 - CONTROL NUMBER IDENTIFIER
control field PWmBRO
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20240602102749.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 940206s1987 nyua b 00110 eng
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 047157175X
100 10 - MAIN ENTRY--PERSONAL NAME
Personal name Van Le, T.
245 10 - TITLE STATEMENT
Title Techniques of PROLOG programming with implementation of logical negation and quantified goals /
Statement of responsibility, etc. T. Van Le.
260 0# - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. New York :
Name of publisher, distributor, etc. Wiley,
Date of publication, distribution, etc. c1993.
300 ## - PHYSICAL DESCRIPTION
Extent xviii, 601 p. :
Other physical details ill., + 3.5 inch. programme diskette.
410 #0 - SERIES STATEMENT/ADDED ENTRY--CORPORATE NAME [OBSOLETE, CAN/MARC], [LOCAL, USA]
Corporate name or jurisdiction name as entry element Harper & Row computer science and technology series
502 ## - DISSERTATION NOTE
Dissertation note Systems programmes copied onto 2 floppy diskettes for loaning purposes. The 3.5 inch diskette held for safety purposes by the library.
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliography: p. [585-593] and index.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element PROLOG (Computer programme language)
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Negation (Logic)
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme Dewey Decimal Classification
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection Home library Current library Shelving location Date acquired Total checkouts Full call number Barcode Date last seen Price effective from Koha item type
        Main Collection Matheson Library Matheson Library Main Collection 02.06.2024   005.133 L433 092143 24.03.2018 24.03.2018 Books