Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001)
| Title | Tableau systems for logics of formal inconsistency |
| Publication Type | Conference Proceedings |
| Authors | Carnielli, WA, Marcos, J |
| Editor | Arabnia, HR |
| Download PDF |
 (Author PDF) |
|---|
PDF author (public):