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

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

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.

「Nielsen BookData」より

[目次]

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

この本の情報

書名 Set theory for computing : from decision procedures to declarative programming with sets
著作者等 Cantone, Domenico
Omodeo, Eugenio
Schwartz, Jacob T.
Policriti Alberto
シリーズ名 Monographs in computer science
出版元 Springer Verlag
刊行年月 c2001
ページ数 xviii, 409 p.
大きさ 24 cm
ISBN 0387951970
NCID BA53174047
※クリックでCiNii Booksを表示
言語 英語
出版国 アメリカ合衆国
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想