Set theory for computing : from decision procedures to declarative programming with sets
著者
書誌事項
Set theory for computing : from decision procedures to declarative programming with sets
（Monographs in computer science）
Springer Verlag, c2001
大学図書館所蔵 件 / 全18件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
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.
目次
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
「Nielsen BookData」 より
