Logic programming : (Record no. 73176)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03392nam a2200553 i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 6267523 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220712204729.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 151223s1995 maua ob 001 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780262291439 |
| -- | electronic |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| -- | |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| -- | |
| 022 ## - INTERNATIONAL STANDARD SERIAL NUMBER | |
| ISSN | 1061-0464 |
| 082 00 - CLASSIFICATION NUMBER | |
| Call Number | 005.1 |
| 245 00 - TITLE STATEMENT | |
| Title | Logic programming : |
| Sub Title | proceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 / |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 1 PDF (xx, 834 pages): : |
| 490 1# - SERIES STATEMENT | |
| Series statement | MIT Press series in logic programming. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Logic programming. |
| 490 0# - SERIES STATEMENT | |
| Series statement | Lecture notes in computer science. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The unique features of logic programming make it appealing for numerous applications in artificial intelligence, computer-aided design and verification, databases, and operations research, and for exploring parallel and concurrent computing. The last two decades have witnessed substantial developments in this field from its foundation to implementation, applications, and the exploration of new language designs.Topics covered : Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming. Constraint Satisfaction. Meta-Programming. Language Design and Constructs. Implementation of Logic Programming Languages. Compilation Techniques. Architectures. Parallelism. Reasoning about Programs. Deductive Databases. Applications.Logic Programming series, Research Reports and Notes. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| General subdivision | Congresses. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Sterling, Leon S., |
| 856 42 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | [Cambridge, Massachusetts] : |
| -- | MIT Press, |
| -- | [1995] |
| 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.