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