E is an equational theorem prover for clausal logic with equality. We describe the latest version, E 0.81 Tumsong, with special emphasis on the important aspects that have changed compared to previously described versions.
CITATION STYLE
Schulz, S. (2004). System description: E 0.81. In Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3097, pp. 223–228). Springer Verlag. https://doi.org/10.1007/978-3-540-25984-8_15
Mendeley helps you to discover research relevant for your work.