Cantitate/Preț
Produs
Total produse
Vezi coșul
Parallelism in Logic: Its Potential for Performance and Program Development de Franz Kurfeß

Parallelism in Logic: Its Potential for Performance and Program Development: Künstliche Intelligenz

Cu Franz Kurfeß
de Limba Germană Paperback – iun 1991

Din seria Künstliche Intelligenz

  • 20% Automated Theorem Proving
    Preț: 62290 lei
  • Relative Complexities of First Order Calculi
    Preț: 40069 lei
  • 20% Prolog: Eine methodische Einführung
    Preț: 40145 lei
  • 20% Die Wissensrepräsentationssprache OPS5: Sprachbeschreibung und Einführung in die regelorientierte Programmierung
    Preț: 34945 lei
  • 20% Objektorientierte und wissensbasierte Bildverarbeitung
    Preț: 34614 lei
  • Logische Grundlagen der Künstlichen Intelligenz
    Preț: 36749 lei
  • Wissensbasierte Echtzeitplanung
    Preț: 40180 lei
  • 20% Modulare Regelprogrammierung
    Preț: 34534 lei
  • 20% Automatisierung von Terminierungsbeweisen
    Preț: 34759 lei
  • 20% Schließen bei unsicherem Wissen in der Künstlichen Intelligenz: Vergleich von Formalismen anhand eines Beispiels
    Preț: 34377 lei
  • 20% LISP: Fallbeispiele mit Anwendungen in der Künstlichen Intelligenz
    Preț: 34582 lei
  • 20% Prolog: Eine methodische Einführung
    Preț: 34709 lei
  • 20% Logische und Funktionale Programmierung: Grundlagen einer Kombination
    Preț: 34220 lei
  • 20% Neuronale Netze und Fuzzy-Systeme: Grundlagen des Konnektionismus, Neuronaler Fuzzy-Systeme und der Kopplung mit wissensbasierten Methoden
    Preț: 41064 lei

Preț: 40880 lei

Puncte Express: 613

Carte tipărită la comandă

Livrare economică 08-22 iulie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783528051631
ISBN-10: 3528051639
Pagini: 316
Ilustrații: XII, 300 S. 6 Abb.
Greutate: 0.5 kg
Ediția:1991
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria Künstliche Intelligenz

Locul publicării:Wiesbaden, Germany

Public țintă

Research

Cuprins

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.