Logic programming : (Record no. 39508)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 02374nam a2200541 i 4500 |
001 - CONTROL NUMBER | |
control field | 6276853 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | IEEE |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20190220121649.0 |
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS | |
fixed length control field | m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr |n||||||||| |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 151223s1995 maua ob 001 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9780262291248 |
Qualifying information | electronic |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Canceled/invalid ISBN | 0262620995 |
Qualifying information | |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
Canceled/invalid ISBN | 9780262620994 |
Qualifying information | |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (CaBNVSL)mat06276853 |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | (IDAMS)0b000064818c1f90 |
040 ## - CATALOGING SOURCE | |
Original cataloging agency | CaBNVSL |
Language of cataloging | eng |
Description conventions | rda |
Transcribing agency | CaBNVSL |
Modifying agency | CaBNVSL |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA76.63 |
Item number | .L635 1995eb |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
Classification number | QA76.63 |
Item number | L831 1995eb |
082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 005.1 |
Edition number | 20 |
245 00 - TITLE STATEMENT | |
Title | Logic programming : |
Remainder of title | proceedings of the 1995 international symposium / |
Statement of responsibility, etc. | edited by John Lloyd. |
246 3# - VARYING FORM OF TITLE | |
Title proper/short title | ILPS '95 |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Place of production, publication, distribution, manufacture | Cambridge, Massachusetts : |
Name of producer, publisher, distributor, manufacturer | MIT Press, |
Date of production, publication, distribution, manufacture, or copyright notice | c1995. |
264 #2 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
Place of production, publication, distribution, manufacture | [Piscataqay, New Jersey] : |
Name of producer, publisher, distributor, manufacturer | IEEE Xplore, |
Date of production, publication, distribution, manufacture, or copyright notice | [1995] |
300 ## - PHYSICAL DESCRIPTION | |
Extent | 1 PDF (ix, 646 pages) : |
Other physical details | illustrations. |
336 ## - CONTENT TYPE | |
Content type term | text |
Source | rdacontent |
337 ## - MEDIA TYPE | |
Media type term | electronic |
Source | isbdmedia |
338 ## - CARRIER TYPE | |
Carrier type term | online resource |
Source | rdacarrier |
490 1# - SERIES STATEMENT | |
Series statement | Logic programming |
500 ## - GENERAL NOTE | |
General note | "International Logic Programming Symposium"--P. [4] of cover. |
500 ## - GENERAL NOTE | |
General note | Sponsored by Association for Logic Programming. |
504 ## - BIBLIOGRAPHY, ETC. NOTE | |
Bibliography, etc. note | Includes bibliographical references and index. |
506 1# - RESTRICTIONS ON ACCESS NOTE | |
Terms governing access | Restricted to subscribers or individual electronic text purchasers. |
520 ## - SUMMARY, ETC. | |
Summary, etc. | The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. Both conferences are held annually. The theme for the 1995 conference was "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-oriented programming paradigms. |
530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE | |
Additional physical form available note | Also available in print. |
538 ## - SYSTEM DETAILS NOTE | |
System details note | Mode of access: World Wide Web |
588 ## - SOURCE OF DESCRIPTION NOTE | |
Source of description note | Description based on PDF viewed 12/23/2015. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Logic programming |
General subdivision | Congresses. |
655 #0 - INDEX TERM--GENRE/FORM | |
Genre/form data or focus term | Electronic books. |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Lloyd, John. |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | IEEE Xplore (Online Service), |
Relator term | distributor. |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | MIT Press, |
Relator term | publisher. |
710 2# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | Association for Logic Programming. |
711 2# - ADDED ENTRY--MEETING NAME | |
Meeting name or jurisdiction name as entry element | International Logic Programming Symposium |
Date of meeting | (1995) |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Print version |
International Standard Book Number | 9780262620994 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Logic programming |
856 42 - ELECTRONIC LOCATION AND ACCESS | |
Materials specified | Abstract with links to resource |
Uniform Resource Identifier | http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853 |
No items available.