Cantone / Omodeo / Policriti | Set Theory for Computing | E-Book | sack.de
E-Book

E-Book, Englisch, 409 Seiten, eBook

Reihe: Monographs in Computer Science

Cantone / Omodeo / Policriti Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets
2001
ISBN: 978-1-4757-3452-2
Verlag: Springer US
Format: PDF
 Kopierschutz: 1 - PDF Watermark

From Decision Procedures to Declarative Programming with Sets

E-Book, Englisch, 409 Seiten, eBook

Reihe: Monographs in Computer Science

ISBN: 978-1-4757-3452-2
Verlag: Springer US
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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.

Cantone / Omodeo / Policriti Set Theory for Computing jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Cantone, Domenico
Omodeo, Eugenio
Policriti, Alberto

Weitere Infos & Material

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

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.