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: |
| _version_ | 1796740062430363648 |
|---|---|
| author | 518526 Pozzato, Gian Luca |
| author_facet | 518526 Pozzato, Gian Luca |
| author_sort | 518526 Pozzato, Gian Luca |
| collection | OCEAN |
| description | Includes bibliographical references (p. 193-200) |
| first_indexed | 2024-03-05T11:25:22Z |
| format | |
| id | KOHA-OAI-TEST:458511 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| language | eng |
| last_indexed | 2024-03-05T11:25:22Z |
| publishDate | c201 |
| publisher | Amsterdam ; Washington, DC : IOS Press, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:4585112020-12-19T17:16:46ZConditional and preferential logics : proof methods and theorem proving / 518526 Pozzato, Gian Luca Amsterdam ; Washington, DC : IOS Press,c2010engIncludes bibliographical references (p. 193-200)PSZJBLLogic, Symbolic and mathematicalProof theoryURN:ISBN:9781607500940 |
| spellingShingle | Logic, Symbolic and mathematical Proof theory 518526 Pozzato, Gian Luca Conditional and preferential logics : proof methods and theorem proving / |
| title | Conditional and preferential logics : proof methods and theorem proving / |
| title_full | Conditional and preferential logics : proof methods and theorem proving / |
| title_fullStr | Conditional and preferential logics : proof methods and theorem proving / |
| title_full_unstemmed | Conditional and preferential logics : proof methods and theorem proving / |
| title_short | Conditional and preferential logics : proof methods and theorem proving / |
| title_sort | conditional and preferential logics proof methods and theorem proving |
| topic | Logic, Symbolic and mathematical Proof theory |
| work_keys_str_mv | AT 518526pozzatogianluca conditionalandpreferentiallogicsproofmethodsandtheoremproving |