R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution - Wei Li - 書籍 - Springer Verlag, Singapore - 9789811942723 - 2023年11月21日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution 2022 edition

価格
CA$ 249,99
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月22日 - 2026年1月1日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加

他の形態でも入手可能:

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
言語 英語  

すべて表示

Wei Liの他の作品を見る