Formal Methods for Nonmonotonic and Related Logics: Vol II: Theory Revision, Inheritance, and Various Abstract Properties

Dieses Fachbuch von Springer Nature bietet einen tiefen Einblick in nichtmonotonische Logiken, fokussiert auf Theorie‑Revision, Vererbung und abstrakte Eigenschaften, und richtet sich an Forscher der Informatik und Mathematik.

Teilen: