Geschäftskunden Kundenprogramme
Vor Ort
Merkzettel Warenkorb
Produktbild: Parallelism in Logic

Parallelism in Logic Its Potential for Performance and Program Development

Aus der Reihe Künstliche Intelligenz

Fr. 74.90

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

01.06.1991

Abbildungen

XII, 300 S. 6 Abb.

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, 300 S. 6 Abb.

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: GPSR Kontakt

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.