この商品を友人に教える:
R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution Wei Li 2022 edition
価格
CA$ 249,99
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月22日 - 2026年1月1日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
他の形態でも入手可能:
R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution
Wei Li
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates.
273 pages, 1 Illustrations, color; 2 Illustrations, black and white; XII, 273 p. 3 illus., 1 illus.
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2023年11月21日 |
| ISBN13 | 9789811942723 |
| 出版社 | Springer Verlag, Singapore |
| ページ数 | 273 |
| 寸法 | 150 × 220 × 10 mm · 408 g |
| 言語 | 英語 |