Concepedia
Publication | Closed Access
Automated Proof Construction in Type Theory Using Resolution
39
Citations
4
References
2002
Year
Page 1