Del i serien Künstliche Intelligenz

Parallelism in Logic

Its Potential for Performance and Program Development

Häftad, Tyska, 1991

759 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1991-06-01
Mått170 x 244 x 18 mm
Vikt548 g
FormatHäftad
SpråkTyska
SerieKünstliche Intelligenz
Antal sidor300
Upplaga1991
FörlagFriedrich Vieweg & Sohn Verlagsgesellschaft mbH
ISBN9783528051631

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

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.

Mer från samma serie

Die Wissensrepräsentationssprache OPS5

Reinhard Krickhahn

Häftad, 1987

759 kr

LISP

Rüdiger Esser

Häftad, 1989

739 kr

Logische Grundlagen der Künstlichen Intelligenz

Nils J. Nilsson

Häftad, 1989

679 kr

Wissensbasierte Echtzeitplanung

Jürgen Dorn

Häftad, 1989

739 kr

Modulare Regelprogrammierung

Siegfried Bocionek

Häftad, 1990

759 kr

Automatisierung von Terminierungsbeweisen

Christoph Walther

Häftad, 1991

759 kr

Relative Complexities of First Order Calculi

Elmar Eder

Häftad, 1992

739 kr

Schließen bei unsicherem Wissen in der Künstlichen Intelligenz

Léa Sombé

Häftad, 1992

759 kr

Logische und Funktionale Programmierung

Ulrich Furbach

Häftad, 1991

759 kr

Neuronale Netze und Fuzzy-Systeme

Detlef D. Nauck

Häftad, 1994

759 kr

Du kanske också är intresserad av

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Prolog

Paul Cordes, Paul Schmitz

Häftad, 1990

759 kr

Schließen bei unsicherem Wissen in der Künstlichen Intelligenz

Léa Sombé

Häftad, 1992

759 kr

Neuronale Netze und Fuzzy-Systeme

Detlef D. Nauck

Häftad, 1994

759 kr

Del 1

Sly

Sara Strömberg

Pocket, 2022

79 kr129 kr

LISP

Rüdiger Esser

Häftad, 1989

739 kr

Prolog

Ralf Cordes, Paul Schmitz

Häftad, 1992

759 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Die Wissensrepräsentationssprache OPS5

Reinhard Krickhahn

Häftad, 1987

759 kr

Logische und Funktionale Programmierung

Ulrich Furbach

Häftad, 1991

759 kr

Del i serien Künstliche Intelligenz

Parallelism in Logic

Its Potential for Performance and Program Development

Häftad, Tyska, 1991

759 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1991-06-01
Mått170 x 244 x 18 mm
Vikt548 g
FormatHäftad
SpråkTyska
SerieKünstliche Intelligenz
Antal sidor300
Upplaga1991
FörlagFriedrich Vieweg & Sohn Verlagsgesellschaft mbH
ISBN9783528051631

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT

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.