Extensions of logic programming : (Record no. 53998)

000 -LEADER
fixed length control field 01498cam a2200325 a 4500
001 - CONTROL NUMBER
control field 2541163
003 - CONTROL NUMBER IDENTIFIER
control field OSt
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20150406141000.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 940404s1994 gw a b 100 0 eng
010 ## - LIBRARY OF CONGRESS CONTROL NUMBER
LC control number 94015491
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 0387580255 (New York : acid-free paper) :
Terms of availability DM 72.00
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 3540580255 (Berlin : acid-free paper)
040 ## - CATALOGING SOURCE
Original cataloging agency DLC
Transcribing agency DLC
Modifying agency DLC
050 00 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA76.63
Item number .E47 1993
082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 005.11
Edition number 20
Item number EXT
111 2# - MAIN ENTRY--MEETING NAME
Meeting name or jurisdiction name as entry element ELP '93
Date of meeting (1993 :
Location of meeting University of St. Andrews, Scotland)
245 10 - TITLE STATEMENT
Title Extensions of logic programming :
Remainder of title 4th international workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 : proceedings /
Statement of responsibility, etc Roy Dyckhoff (ed.).
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT)
Place of publication, distribution, etc Berlin ;
-- New York :
Name of publisher, distributor, etc Springer-Verlag,
Date of publication, distribution, etc c1994.
300 ## - PHYSICAL DESCRIPTION
Extent viii, 360 p. :
Other physical details ill. ;
Dimensions 24 cm.
490 1# - SERIES STATEMENT
Series statement Lecture notes in computer science ;
Volume number/sequential designation 798.
Series statement Lecture notes in artificial intelligence
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc Includes bibliographical references.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name as entry element Engineering ----Logic programming
General subdivision Congresses.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Dyckhoff, Roy,
Dates associated with a name 1948-
Relator code ed.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science ;
Volume number/sequential designation 798.
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE
Uniform title Lecture notes in computer science.
Name of part/section of a work Lecture notes in artificial intelligence.
856 42 - ELECTRONIC LOCATION AND ACCESS
Materials specified Publisher description
Uniform Resource Identifier http://www.loc.gov/catdir/enhancements/fy0815/94015491-d.html
906 ## - LOCAL DATA ELEMENT F, LDF (RLIN)
a 7
b cbc
c orignew
d 1
e ocip
f 19
g y-gencatlg
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Source of classification or shelving scheme
Koha item type Books
Holdings
Withdrawn status Lost status Source of classification or shelving scheme Damaged status Not for loan Permanent Location Current Location Date acquired Full call number Barcode Date last seen Price effective from Koha item type
          University of Sargodha-Central Library Hall D 04/06/2015 005.11 EXT 90846 04/06/2015 04/06/2015 Books