| 000 | 03364nam a2200517 i 4500 | ||
|---|---|---|---|
| 001 | 6267525 | ||
| 003 | IEEE | ||
| 005 | 20220712204730.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 151229s1993 maua ob 001 eng d | ||
| 020 |
_a9780262291460 _qelectronic |
||
| 020 |
_z9780262731058 _qprint |
||
| 020 |
_z0262731053 _qprint |
||
| 035 | _a(CaBNVSL)mat06267525 | ||
| 035 | _a(IDAMS)0b000064818b456d | ||
| 040 |
_aCaBNVSL _beng _erda _cCaBNVSL _dCaBNVSL |
||
| 050 | 4 |
_aQA76.63 _b.I56 1993eb |
|
| 111 | 2 |
_aInternational Conference on Logic Programming _n(10th : _d1993 : _cBudapest, Hungary) _923269 |
|
| 245 | 1 | 0 |
_aLogic programming : _bproceedings of the Tenth International Conference on Logic Programming / _cedited by David S. Warren. |
| 264 | 1 |
_aCambridge, Massachusetts : _bMIT Press, _cc1993. |
|
| 264 | 2 |
_a[Piscataqay, New Jersey] : _bIEEE Xplore, _c[1993] |
|
| 300 |
_a1 PDF (xx, 854 pages) : _billustrations. |
||
| 336 |
_atext _2rdacontent |
||
| 337 |
_aelectronic _2isbdmedia |
||
| 338 |
_aonline resource _2rdacarrier |
||
| 490 | 1 | _aLogic programming | |
| 500 | _aHeld in Budapest, Hungary, June 21-25, 1993 and sponsored by the Association for Logic Programming in cooperation with Bull Hungary, et al. | ||
| 506 | 1 | _aRestricted to subscribers or individual electronic text purchasers. | |
| 520 | _aThe Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and it svarious extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing.David S. Warren is Professor of Computer Science at the State University of New York, Stony Brook.Topics covered: Theory and Foundations. Programming Methodologies and Tools. Meta and Higher-order Programming. Parallelism. Concurrency. Deductive Databases. Implementations and Architectures. Applications. Artificial Intelligence. Constraints. Partial Deduction. Bottom-Up Evaluation. Compilation Techniques. | ||
| 530 | _aAlso available in print. | ||
| 538 | _aMode of access: World Wide Web | ||
| 588 | _aDescription based on PDF viewed 12/29/2015. | ||
| 650 | 0 |
_aLogic programming _xCongresses. _922301 |
|
| 655 | 0 |
_aElectronic books. _93294 |
|
| 700 | 1 |
_aWarren, David S. _923270 |
|
| 710 | 2 |
_aIEEE Xplore (Online Service), _edistributor. _923271 |
|
| 710 | 2 |
_aMIT Press, _epublisher. _923272 |
|
| 710 | 2 |
_aAssociation for Logic Programming. _923273 |
|
| 710 | 2 |
_aBull Hungary. _923274 |
|
| 776 | 0 | 8 |
_iPrint version: _z9780262731058 |
| 787 | 1 |
_aInternational Conference on Logic Programming. _tInternational Conference on Logic Programming. _dBerlin ; New York : Springer-Verlag, c1986- _kLecture notes in computer science 0302-9743 _w(OCoLC)ocm16665463 $w(DLC)sn 87037417 |
|
| 830 | 0 |
_aLogic programming _921528 |
|
| 856 | 4 | 2 |
_3Abstract with links to resource _uhttps://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267525 |
| 942 | _cEBK | ||
| 999 |
_c73178 _d73178 |
||