System Description: Spass Version 3.0
- 1 January 2007
- book chapter
- Published by Springer Nature
- p. 514-520
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Blocking and Other Enhancements for Bottom-Up Model Generation MethodsLecture Notes in Computer Science, 2006
- Relations and Kleene Algebra in Computer Science2006
- Spass Version 2.0Lecture Notes in Computer Science, 2002
- Computing Small Clause Normal Forms2001
- MSPASS: Modal Reasoning by Translation and First-Order Resolution2000