Formal Methods for Nonmonotonic and Related Logics Vol I: Preference and Size /
The two volumes in this advanced textbook present results, proof methods, and translations of motivational and philosophical considerations to formal constructions. In this Vol. I the author explains preferential structures and abstract size. In the associated Vol. II he presents chapters on theory...
Saved in:
| Author / Creator: | |
|---|---|
| Other Corporate Authors / Creators: | SpringerLink (Online service) |
| Format: | Electronic eBook |
| Language: | English |
| Edition: | 1st ed. 2018. |
| Imprint: | Cham : Springer International Publishing : Imprint: Springer, 2018. |
| Subjects: | |
| Online Access: | Available in Springer Computer Science eBooks 2018 English/International. |