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… Meer...
Orellfuessli.ch Nr. 1872555. Verzendingskosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Versandfertig innert 6 - 9 Werktagen, zzgl. Versandkosten. (EUR 16.64) Details... |
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 … Meer...
Springer.com new in stock. Verzendingskosten:zzgl. Versandkosten. (EUR 0.00) Details... |
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 … Meer...
Springer.com Nr. 978-3-540-55425-7. Verzendingskosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Parallelization in Inference Systems International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings - nieuw boek
1992, ISBN: 3540554254
1992 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Prozessor / Mikroprozessor, Computerprogrammierung und Softwareentwicklung, Systemana… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Parallelization in Inference Systems International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings - nieuw boek
1992, ISBN: 3540554254
1992 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Prozessor / Mikroprozessor, Computerprogrammierung und Softwareentwicklung, Systemana… Meer...
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
bij Orellfuessli.ch
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… Meer...
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 … Meer...
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 … Meer...
Parallelization in Inference Systems International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings - nieuw boek
1992, ISBN: 3540554254
1992 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Prozessor / Mikroprozessor, Computerprogrammierung und Softwareentwicklung, Systemana… Meer...
Parallelization in Inference Systems International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings - nieuw boek
1992, ISBN: 3540554254
1992 Kartoniert / Broschiert Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelligenz - AI, Prozessor / Mikroprozessor, Computerprogrammierung und Softwareentwicklung, Systemana… Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Parallelization in Inference Systems
EAN (ISBN-13): 9783540554257
ISBN (ISBN-10): 3540554254
pocket book
Verschijningsjaar: 1992
Uitgever: Springer Berlin
372 Bladzijden
Gewicht: 0,585 kg
Boek bevindt zich in het datenbestand sinds 2007-10-29T02:53:57+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2023-10-29T08:58:23+01:00 (Amsterdam)
ISBN/EAN: 3540554254
ISBN - alternatieve schrijfwijzen:
3-540-55425-4, 978-3-540-55425-7
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: bertram, fronhöfer, wrightson, wright, graham
Titel van het boek: proceedings international workshop, computer systems, 1990 band, who germany 1990, parallelization inference, system, they came the castle, lecture notes artificial intelligence
Gegevens van de uitgever
Auteur: Bertram Fronhöfer; Graham Wrightson
Titel: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Parallelization in Inference Systems - International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings
Uitgeverij: Springer; Springer Berlin
378 Bladzijden
Verschijningsjaar: 1992-04-22
Berlin; Heidelberg; DE
Taal: Engels
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.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9783540470663 Parallelization in Inference Systems (Bertram Fronhöfer; Graham Wrightson)
< naar Archief...