| 000 | 03392nam a2200553 i 4500 | ||
|---|---|---|---|
| 001 | 6267523 | ||
| 003 | IEEE | ||
| 005 | 20220712204729.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 151223s1995 maua ob 001 eng d | ||
| 020 |
_a9780262291439 _qelectronic |
||
| 020 |
_z0262691779 _qprint |
||
| 020 |
_z9780262691772 _qprint |
||
| 022 | _a1061-0464 | ||
| 035 | _a(CaBNVSL)mat06267523 | ||
| 035 | _a(IDAMS)0b000064818b4557 | ||
| 040 |
_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL |
||
| 050 | 4 |
_aQA76.63 _b.L63 1995eb |
|
| 082 | 0 | 0 |
_a005.1 _220 |
| 245 | 0 | 0 |
_aLogic programming : _bproceedings of the 12th conference, Tokyo, Japan, June 13-16, 1995 / _cedited by by Leon S. Sterling. |
| 264 | 1 |
_a[Cambridge, Massachusetts] : _bMIT Press, _c[1995] |
|
| 264 | 2 |
_a[Piscataqay, New Jersey] : _bIEEE Xplore, _c[1995] |
|
| 300 |
_a1 PDF (xx, 834 pages): : _billustrations. |
||
| 336 |
_atext _2rdacontent |
||
| 337 |
_aelectronic _2isbdmedia |
||
| 338 |
_aonline resource _2rdacarrier |
||
| 490 | 1 | _aMIT Press series in logic programming. | |
| 490 | 1 | _aLogic programming. | |
| 490 | 0 | _aLecture notes in computer science. | |
| 504 | _aIncludes bibliographical references. | ||
| 506 | 1 | _aRestricted to subscribers or individual electronic text purchasers. | |
| 520 | _a13-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. | ||
| 530 | _aAlso available in print. | ||
| 538 | _aMode of access: World Wide Web | ||
| 588 | _aDescription based on PDF viewed 12/23/2015. | ||
| 650 | 0 |
_aLogic programming _xCongresses. _922301 |
|
| 655 | 0 |
_aElectronic books. _93294 |
|
| 700 | 1 |
_aSterling, Leon S., _eeditor. _923258 |
|
| 710 | 2 |
_aIEEE Xplore (Online Service), _edistributor. _923259 |
|
| 710 | 2 |
_aMIT Press, _epublisher. _923260 |
|
| 711 | 2 |
_aLogic Programming Conference _n(12th : _d1995 : _cTokyo, Japan) _923261 |
|
| 776 | 0 | 8 |
_iPrint version _z9780262691772 |
| 830 | 0 |
_aMIT Press series in logic programming. _923262 |
|
| 830 | 0 |
_aLogic programming. _921528 |
|
| 830 | 0 |
_aLecture notes in computer science. _923263 |
|
| 856 | 4 | 2 |
_3Abstract with links to resource _uhttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267523 |
| 942 | _cEBK | ||
| 999 |
_c73176 _d73176 |
||