| 书目名称 | Logic Programming and Automated Reasoning | | 副标题 | International Confer | | 编辑 | Andrei Voronkov | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume contains the proceedings of LPAR ‘92, theinternational conference on logic programming and automatedreasoning held in St. Petersburg in July 1992. The aim ofthe conference was to bring togetherresearchers from theRussian and the international logic programming andtheoremproving communities.The topics of interest covered by papers inthe volumeinclude automated theorem proving, non-monotonic reasoning,applications of mathematical logic to computer science,deductive databases, implementation of declarative concepts,and programming in non-classical logics.LPAR ‘92 is thesuccessor of the First and Second RussianConferences on Logic Programmingheld in 1990 and 1991,respectively, the proceedings of which were publishedinLNAI Vol. 592. | | 出版日期 | Conference proceedings 1992 | | 关键词 | Automat; artificial intelligence; automated reasoning; automated theorem proving; logic; nonmonotonic rea | | 版次 | 1 | | doi | https://doi.org/10.1007/BFb0013043 | | isbn_softcover | 978-3-540-55727-2 | | isbn_ebook | 978-3-540-47279-7Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1992 |
The information of publication is updating
|
|
发表于 2025-3-21 16:17:26
