登入
選單
返回
Google圖書搜尋
Parallelization in Inference Systems
Bertram Fronhöfer
Graham Wrightson
其他書名
International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings
出版
Springer Science & Business Media
, 1992-04-22
主題
Computers / Artificial Intelligence / General
Computers / Computer Architecture
Computers / Information Technology
Computers / Distributed Systems / General
Computers / Programming / General
Computers / Software Development & Engineering / General
Computers / Software Development & Engineering / Systems Analysis & Design
Computers / Hardware / General
Computers / Parallel Processing
Mathematics / General
ISBN
3540554254
9783540554257
URL
http://books.google.com.hk/books?id=g5HxbbU9LSQC&hl=&source=gbs_api
EBook
SAMPLE
註釋
This volume contains the proceedings of an international workshop on parallelism in inference systems held in Germany in December 1990. The topicof the workshop is still rather young and several papers in the book are overview articles intended to provide a first orientation toward some of the more intensively investigated subtopics. The main part of the book is a compilation of research papers on parallelization in special domains ofinference such as rewriting, automatic reasoning, logic programming, andconnectionist inference. Appended to the book is a collection of short project summaries received in response to a worldwide email call. The book is intended primarily for researchers working on inference systems who are interested in parallelizing their systems.