Sciweavers

Share
CADE
1998
Springer

System Description: LEO - A Higher-Order Theorem Prover

10 years 2 months ago
System Description: LEO - A Higher-Order Theorem Prover
Christoph Benzmüller, Michael Kohlhase
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where CADE
Authors Christoph Benzmüller, Michael Kohlhase
Comments (0)
books