书目名称 | Parallelization in Inference Systems |
副标题 | International Worksh |
编辑 | B. Fronhöfer,G. Wrightson |
视频video | |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | This volume contains the proceedings of an internationalworkshop onparallelism in inference systems held in Germanyin December 1990. The topicof the workshop is still ratheryoung and several papers in the book areoverview articlesintended to provide a first orientation toward some ofthemore intensively investigated subtopics.The main part of the bookis a compilation of researchpapers on parallelization in special domains ofinferencesuch as rewriting, automatic reasoning, logic programming,andconnectionist inference. Appended to the book is acollection of shortproject summaries received in responseto a worldwide email call.The book is intended primarily for researchers working oninference systems who are interested in parallelizing theirsystems. |
出版日期 | Conference proceedings 1992 |
关键词 | Automated Reasoning; Automatisches Schließen; Connectionist Inference; Connectionist Inferenz; Inference |
版次 | 1 |
doi | https://doi.org/10.1007/3-540-55425-4 |
isbn_softcover | 978-3-540-55425-7 |
isbn_ebook | 978-3-540-47066-3Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 1992 |