| 书目名称 | Logic Programming and Automated Reasoning |
| 副标题 | 4th International Co |
| 编辑 | Andrei Voronkov |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | LPAR is an international conference series aimed at bringingtogether researchers interested in logic programming andautomated reasoning. Theresearch in logic programming grewout of the research in automated reasoning in the early1970s. Later, the implementation techniques knownfrom logicprogramming were used in implementing theoremprovingsystems. Results from both fields applied todeductivedatabases.This volume contains the proceedings of LPAR ‘93,which wasorganized by the Russian Association for LogicProgramming.The volume contains 35 contributed papers selected from84submissions, together with an invited paper by Peter Wegnerentitled "Reasoning versus modeling in computer science". |
| 出版日期 | Conference proceedings 1993 |
| 关键词 | Automat; automated reasoning; database; deductive database; logic; modeling; programming; proving |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-56944-8 |
| isbn_softcover | 978-3-540-56944-2 |
| isbn_ebook | 978-3-540-47830-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1993 |
发表于 2025-3-21 17:04:12
