67-4963-53 Formal Methods for Nonmonotonic and Related Logics Vol. I and Vol. II (Set) 978-3-030-02310-2
仕様
- サブタイトル:Vol. I: Preference and Size / Vol. II: Theory Revision, Inheritance, and Various Abstract Properties
- 著者:Schlechta, Karl
- 装丁:Hard
- 頁数他:LXX, 818 p. 81 illus. 2 volume-set.
- 発行日:2018/11/15
- 分類:情報数理:数理論理学