Higher-order pattern complement and the strict λ-calculus
ACM Transactions on Computational Logic (TOCL)
Analogy and abduction in automated deduction
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Hi-index | 0.00 |