Vor Ort
Merkzettel Warenkorb
Produktbild: Parallelism in Logic

Parallelism in Logic Its Potential for Performance and Program Development

Aus der Reihe Künstliche Intelligenz

56,53 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.06.1991

Abbildungen

XII, mit 6 Abbildungen, schwarz-weiss Illustrationen

Verlag

Vieweg & Teubner

Seitenzahl

300

Maße (L/B/H)

24,4/17/1,8 cm

Gewicht

548 g

Auflage

1991

Sprache

Deutsch

ISBN

978-3-528-05163-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.06.1991

Abbildungen

XII, mit 6 Abbildungen, schwarz-weiss Illustrationen

Verlag

Vieweg & Teubner

Seitenzahl

300

Maße (L/B/H)

24,4/17/1,8 cm

Gewicht

548 g

Auflage

1991

Sprache

Deutsch

ISBN

978-3-528-05163-1

Herstelleradresse

Vieweg+Teubner Verlag
Abraham-Lincoln-Straße 46
65189 Wiesbaden
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Parallelism in Logic
  • 1 Introduction.- 1.1 Logic.- 1.2 Parallelism.- 1.3 Parallelism and Logic.- 1.4 Relevance of the Work.- 1.5 Organization of the Book.- 2 Foundations.- 2.1 Logic: The Connection Method.- 2.2 Parallelism: Unity and Processes.- 2.3 Model Elimination.- 2.4 A Language: Lop.- 2.5 Conclusions.- 3 State of the Art.- 3.1 Parallel Logic Systems.- 3.2 Conclusions.- 4 Parallelism in Logic.- 4.1 Chapter Organization.- 4.2 Variations on Parallelism.- 4.3 Overview.- 4.4 Multitasking.- 4.5 Modularity.- 4.6 Precision.- 4.7 Competition.- 4.8 Spanning Sets.- 4.9 Reductions.- 4.10 OR-Parallelism.- 4.11 Routes.- 4.12 AND-Parallelism.- 4.13 Term Parallelism.- 4.14 Distributed Representation.- 4.15 Conclusions: Parallelism in Logic.- 5 A Parallel Logic Language: MMLOP.- 5.1 Overview.- 5.2 Syntax.- 5.3 Semantics.- 5.4 Examples.- 6 Computational Model.- 6.1 A Computational Model for MMLop.- 7 Architecture.- 7.1 Overview Architecture.- 7.2 Spanning Setters.- 7.3 Mappings to Parallel Architectures.- 7.4 Unification.- 7.5 Conclusions: Spanning Setters and Parallel Architectures.- 8 Conclusions.- 8.1 Foundations.- 8.2 State of the Art.- 8.3 Parallelism in Logic.- 8.4 MMLOP: A Parallel Logic Programming Language.- 8.5 Computational Model.- 8.6 Architecture.