Set theory for computing: from decision procedures to declarative programming with sets
Cantone, Domenico
Omodeo, Eugenio
Policriti, Alberto
Schwartz, J.T.
72,75 €(IVA inc.)
An up-to-date and comprehensive account of set-oriented symbolic manipulationand automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning. INDICE: 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
- ISBN: 978-1-4419-2905-1
- Editorial: Springer
- Encuadernacion: Rústica
- Fecha Publicación: 31/03/2012
- Nº Volúmenes: 1
- Idioma: Inglés