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

書誌事項

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

Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwartz

(Monographs in computer science)

Springer Verlag, c2001

大学図書館所蔵 件 / 20

この図書・雑誌をさがす

注記

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」 より

関連文献: 1件中  1-1を表示

詳細情報

  • NII書誌ID(NCID)
    BA53174047
  • ISBN
    • 0387951970
  • 出版国コード
    us
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    New York
  • ページ数/冊数
    xviii, 409 p.
  • 大きさ
    24 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ