| 書目名稱 | Logic Programming and Automated Reasoning |
| 副標題 | International Confer |
| 編輯 | Andrei Voronkov |
| 視頻video | http://file.papertrans.cn/588/587906/587906.mp4 |
| 叢書名稱 | 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 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網安備110108008328)
GMT+8, 2025-10-14 02:48
發(fā)表于 2025-3-21 16:17:26
