Produktnummer:
18aef5d1bbddf3432c8ebced131bb0891c
| Themengebiete: | Automated Reasoning Automatisches Schließen Connectionist Inference Connectionist Inferenz Inference Systems Inferenz-Systeme Parallelism Theorembeweisen (Kybern.) logic logic programming |
|---|---|
| Veröffentlichungsdatum: | 22.04.1992 |
| EAN: | 9783540554257 |
| Sprache: | Englisch |
| Seitenzahl: | 378 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Fronhöfer, Bertram Wrightson, Graham |
| Verlag: | Springer Berlin |
| Untertitel: | International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings |
Produktinformationen "Parallelization in Inference Systems"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen