CASL SPASS prover automatic FOL SoftFOL MathServe Vampire

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