Login / Signup
From MKRP to Omega.
Manfred Kerber
Published in:
Mechanizing Mathematical Reasoning (2005)
Keyphrases
</>