Conditional and preferential logics : proof methods and theorem proving /
Includes bibliographical references (p. 193-200)
| Main Author: | |
|---|---|
| Format: | |
| Language: | eng |
| Published: |
Amsterdam ; Washington, DC : IOS Press,
c201
|
| Subjects: |
| Summary: | Includes bibliographical references (p. 193-200) |
|---|