书目名称 | Logic Programming ‘87 |
副标题 | Proceedings of the 6 |
编辑 | Koichi Furukawa,Hozumi Tanaka,Tetsunosuke Fujisaki |
视频video | http://file.papertrans.cn/588/587900/587900.mp4 |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | This volume contains most of the papers presented at the 6th Logic Programming Conference held in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264. The contents cover foundations, programming, architecture and applications. Topics of particular interest are constraint logic programming and parallelism. The effort to apply logic programming to large-scale realistic problems is another important subject of these proceedings. |
出版日期 | Conference proceedings 1988 |
关键词 | Prolog; inference engine; knowledge; knowledge representation; logic; programming; programming language; pr |
版次 | 1 |
doi | https://doi.org/10.1007/3-540-19426-6 |
isbn_softcover | 978-3-540-19426-2 |
isbn_ebook | 978-3-540-39267-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 1988 |