Formal Methods for Nonmonotonic and Related Logics Vol II: Theory Revision, Inheritance, and Various Abstract Properties /
The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In the associated Vol. I the author explains preferential structures and abstract size. In this Vol. II he presents chapters on theory...
Κύριος συγγραφέας: | Schlechta, Karl (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2018.
|
Έκδοση: | 1st ed. 2018. |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size /
ανά: Schlechta, Karl, κ.ά.
Έκδοση: (2018) -
Qualitative and Quantitative Practical Reasoning First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 Proceedings /
Έκδοση: (1997) -
Intuitionistic Proof Versus Classical Truth The Role of Brouwer's Creative Subject in Intuitionistic Mathematics /
ανά: Martino, Enrico, κ.ά.
Έκδοση: (2018) -
Conceptual Spaces: Elaborations and Applications
Έκδοση: (2019) -
Nonmonotonic Logics Basic Concepts, Results, and Techniques /
ανά: Schlechta, Karl, κ.ά.
Έκδοση: (1997)