Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: First Letter Of Title is T and Author is Arabnia, Hamid R.  [Clear All Filters]
Conference Proceedings
Carnielli, Walter A, and João Marcos. 2001. “Tableau Systems For Logics Of Formal Inconsistency” Hamid R Arabnia. Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001): 848-852.