Login / Signup
More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification.
Jasmin Christian Blanchette
Andrei Popescu
Daniel Wand
Christoph Weidenbach
Published in:
ITP (2012)
Keyphrases
</>
theorem prover
theorem proving
first order logic
inference rules
multiresolution
natural deduction
cooperative
pattern recognition
artificial neural networks
control system
special case
phase transition