CASL SPASS prover automatic FOL SoftFOL MathServe Vampire
|
Publications for keyword "CASL SPASS prover automatic FOL SoftFOL MathServe Vampire"
2007
Reasoning Support for CASL with Automated Theorem Proving Systems, in: WADT 2006, pages 74-91, Springer-Verlag Heidelberg, 2007 | and ,
|