Selected Papers from Automated Deduction in Classical and Non-Classical Logics
Higher-order unification and matching
Handbook of automated reasoning
Journal of Automated Reasoning
A finite first-order presentation of set theory
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
Hi-index | 0.00 |