Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets

229,59 €*

Alle Preise inkl. MwSt.|Versandkostenfrei
ISBN-13:
9780387951973
Erscheinungsdatum:
01.06.2001
Seiten:
409
Autor:
Domenico Cantone
Gewicht:
739 g
Format:
242x162x25 mm
Serie:
Monographs in Computer Science
Sprache:
Englisch
Beschreibung:

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
What is Computable Set Theory? * Logical Background * Axiomatic Views of Aggregates * Semantic Views of Aggregates * Sets for Problem Solving * Decision Problems and Some Solutions * Inference Techniques and Methods * Set/Hyperset Unification Algorithms * A Syllogistic Solitaire * Stratified Syllogistics * Quantitative Set Reasoning * Set Theory for Non-Classical Logics * Logic Programming With Sets * Syllogistic Tableaux

Kunden Rezensionen

Zu diesem Artikel ist noch keine Rezension vorhanden.
Helfen sie anderen Besuchern und verfassen Sie selbst eine Rezension.

Google Plus
Powered by Inooga