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