- 5 Results
Lowest price: € 53.49, highest price: € 83.41, average price: € 70.43
1
Parallelization in Inference Systems - Bertram Fronhöfer#Graham Wrightson
Order
at Orellfuessli.ch
CHF 85.90
(aprox. € 79.40)
Shipment: € 16.641
Order
Provider details
Sponsored link
Bertram Fronhöfer#Graham Wrightson:

Parallelization in Inference Systems - Paperback

1992, ISBN: 9783540554257

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 a… More...

Nr. 1872555. Shipping costs:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Versandfertig innert 6 - 9 Werktagen, zzgl. Versandkosten. (EUR 16.64)
close (x)
2
Parallelization in Inference Systems - Bertram Fronhöfer; Graham Wrightson
Order
at Springer.com
€ 80.24
Shipment: € 0.001
Order
Provider details
Sponsored link

Bertram Fronhöfer; Graham Wrightson:

Parallelization in Inference Systems - Paperback

ISBN: 9783540554257

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 … More...

new in stock. Shipping costs:zzgl. Versandkosten. (EUR 0.00)
close (x)
3
Parallelization in Inference Systems
Order
at Springer.com
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Parallelization in Inference Systems - new book

ISBN: 9783540554257

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 … More...

Nr. 978-3-540-55425-7. Shipping costs:Worldwide free shipping, , DE. (EUR 0.00)
close (x)
4
Parallelization in Inference Systems International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings - Wrightson, Graham (Herausgeber); Fronhöfer, Bertram (Herausgeber)
Order
at Achtung-Buecher.de
€ 55.60
Shipment: € 0.001
Order
Provider details
Sponsored link
Wrightson, Graham (Herausgeber); Fronhöfer, Bertram (Herausgeber):
Parallelization in Inference Systems International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings - new book

1992, ISBN: 3540554254

1992 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Prozessor / Mikroprozessor, Computerprogrammierung und Softwareentwicklung, Systemana… More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
close (x)
5
Parallelization in Inference Systems International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings - Wrightson, Graham (Herausgeber); Fronhöfer, Bertram (Herausgeber)
Order
at Achtung-Buecher.de
€ 83.41
Shipment: € 0.001
Order
Provider details
Sponsored link
Wrightson, Graham (Herausgeber); Fronhöfer, Bertram (Herausgeber):
Parallelization in Inference Systems International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings - new book

1992, ISBN: 3540554254

1992 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Prozessor / Mikroprozessor, Computerprogrammierung und Softwareentwicklung, Systemana… More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Parallelization in Inference Systems
Author:
Title:
ISBN:

3540554254


This volume contains the proceedings of an internationalworkshop on parallelism in inference systems held in Germanyin December 1990. The topicof the workshop is still ratheryoung and several papers in the book are overview articlesintended to provide a first orientation toward some of themore intensively investigated subtopics.The main part of the book is 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 short project summaries received in responseto a worldwide email call.The book is intended primarily for researchers working oninference systems who are interested in parallelizing theirsystems.

Details of the book - Parallelization in Inference Systems


EAN (ISBN-13): 9783540554257
ISBN (ISBN-10): 3540554254
Paperback
Publishing year: 1992
Publisher: Springer Berlin
372 Pages
Weight: 0,585 kg

Book in our database since 2007-10-29T01:53:57+00:00 (London)
Detail page last modified on 2023-10-29T07:58:23+00:00 (London)
ISBN/EAN: 3540554254

ISBN - alternate spelling:
3-540-55425-4, 978-3-540-55425-7
Alternate spelling and related search-keywords:
Book author: bertram, fronhöfer, wrightson, wright, graham
Book title: proceedings international workshop, computer systems, 1990 band, who germany 1990, parallelization inference, system, they came the castle, lecture notes artificial intelligence

Information from Publisher

Author: Bertram Fronhöfer; Graham Wrightson
Title: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Parallelization in Inference Systems - International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings
Publisher: Springer; Springer Berlin
378 Pages
Publishing year: 1992-04-22
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 378 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Künstliche Intelligenz; Verstehen; Automated Reasoning; Automatisches Schließen; Connectionist Inference; Connectionist Inferenz; Inference Systems; Inferenz-Systeme; Parallelism; Theorembeweisen (Kybern.); logic; logic programming; programming; Artificial Intelligence; Software Engineering; Computer System Implementation; Programming Techniques; Processor Architectures; Software Engineering; Systemanalyse und -design; Computerprogrammierung und Softwareentwicklung; Rechnerarchitektur und Logik-Entwurf; EA

Potentiality of parallelism in logic.- Parallel theorem provers An overview.- Parallel unification: Theory and implementations.- Connectionist inference systems.- Implementing parallel rewriting.- Experiments with Roo, a parallel automated deduction system.- A process algebra over the Herbrand Universe: Application to parallelism in automated deduction.- Using the Reform inference system for parallel Prolog.- Random competition: A simple, but efficient method for parallelizing inference systems.- Parallel and efficient implementation of the compartmentalized connection graph proof procedure: Resolution to unification.- Constraint satisfaction via partially parallel propagation steps.- A parallel theorem prover with heuristic work distribution.- Non-WAM models of logic programming and their support by novel parallel hardware.- The adam abstract dataflow machine.- Parallel computation model for parallel prolog.- Application of connectionist models to fuzzy inference systems.- CHCL — A connectionist inference system.- Project Summaries.

More/other books that might be very similar to this book

Latest similar book:
9783540470663 Parallelization in Inference Systems (Bertram Fronhöfer; Graham Wrightson)

< to archive...