Note on theorem proving strategies for resolution counterparts of non-classical logics
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Resolution proof systems with weak transformation rules
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Automated deduction for many-valued logics
Handbook of automated reasoning
Hi-index | 0.00 |