System Description: Spass Version 3.0
- 1 January 2007
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Blocking and Other Enhancements for Bottom-Up Model Generation MethodsPublished by Springer Nature ,2006
- Relations and Kleene Algebra in Computer SciencePublished by Springer Nature ,2006
- Spass Version 2.0Published by Springer Nature ,2002
- Computing Small Clause Normal FormsPublished by Elsevier ,2001
- MSPASS: Modal Reasoning by Translation and First-Order ResolutionPublished by Springer Nature ,2000