Set theory for computing: from decision procedures to declarative programming with sets

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