LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
2008 ◽
pp. 162-170
◽
Keyword(s):
2015 ◽
Vol 6
(1)
◽
pp. 1
Keyword(s):
2021 ◽
pp. 415-432
Keyword(s):
2008 ◽
pp. 292-298
◽
Keyword(s):
2020 ◽