Logic programming : (Record no. 73249)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02450nam a2200553 i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 6276853 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220712204750.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 151223s1995 maua ob 001 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780262291248 |
| -- | electronic |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| -- | |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| -- | |
| 082 0# - CLASSIFICATION NUMBER | |
| Call Number | 005.1 |
| 245 00 - TITLE STATEMENT | |
| Title | Logic programming : |
| Sub Title | proceedings of the 1995 international symposium / |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 1 PDF (ix, 646 pages) : |
| 490 1# - SERIES STATEMENT | |
| Series statement | Logic programming |
| 500 ## - GENERAL NOTE | |
| Remark 1 | "International Logic Programming Symposium"--P. [4] of cover. |
| 500 ## - GENERAL NOTE | |
| Remark 1 | Sponsored by Association for Logic Programming. |
| 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. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| General subdivision | Congresses. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Lloyd, John. |
| 856 42 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276853 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cambridge, Massachusetts : |
| -- | MIT Press, |
| -- | c1995. |
| 264 #2 - | |
| -- | [Piscataqay, New Jersey] : |
| -- | IEEE Xplore, |
| -- | [1995] |
| 336 ## - | |
| -- | text |
| -- | rdacontent |
| 337 ## - | |
| -- | electronic |
| -- | isbdmedia |
| 338 ## - | |
| -- | online resource |
| -- | rdacarrier |
| 588 ## - | |
| -- | Description based on PDF viewed 12/23/2015. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Logic programming |
No items available.