R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution - Wei Li - 書籍 - Springer Verlag, Singapore - 9789811629464 - 2022年11月3日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Wei Li

R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution 2021 edition

価格
zł 390,90
税抜

遠隔倉庫からの取り寄せ

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

他の形態でも入手可能:

It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined).


200 pages, 1 Illustrations, color; 3 Illustrations, black and white; XII, 200 p. 4 illus., 1 illus.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2022年11月3日
ISBN13 9789811629464
出版社 Springer Verlag, Singapore
ページ数 200
寸法 150 × 220 × 10 mm   ·   332 g

すべて表示

Wei Liの他の作品を見る