Mendeley出力
＜図書＞
Relation algebras
| 責任表示 | Roger D. Maddux |
|---|---|
| シリーズ | Studies in logic and the foundations of mathematics ; v. 150 |
| データ種別 | 図書 |
| 版 | 1st ed |
| 出版情報 | Amsterdam ; Tokyo : Elsevier , 2006 |
| 本文言語 | 英語 |
| 大きさ | xxvi, 731 p. : ill. ; 24 cm |
| 概要 | The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical significance, with applicati...ns in various fields: e.g., in computer science---databases, specification theory, AI---and in anthropology, economics, physics, and philosophical logic. This comprehensive treatment of the theory of relation algebras and the calculus of relations is the first devoted to a systematic development of the subject. Key Features: - Presents historical milestones from a modern perspective- Careful, thorough, detailed guide to understanding relation algebras- Provides a framework and unified perspective of the subject 続きを見る |
| 電子版へのリンク | https://hdl.handle.net/2324/6976533 |
所蔵情報
| 状態 | 巻次 | 所蔵場所 | 請求記号 | 刷年 | 文庫名称 | 資料番号 | コメント | 予約・取寄 | 複写申込 | 自動書庫 |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
|
理系図3F 数理独自 | MADD/20/1 | 2006 |
|
023212006002745 |
|
書誌詳細
| 一般注記 | Includes bibliographical references (p. 713-722) and index |
|---|---|
| 著者標目 | *Maddux, Roger D., 1948- |
| 書誌ID | 1001236036 |
| ISBN | 0444520139 |
| NCID | BA77754096 |
| 巻冊次 | ISBN:0444520139 ; XISBN:9780444520135 |
| 登録日 | 2009.09.18 |
| 更新日 | 2017.02.18 |