Hustadt, U. and
Schmidt, R. A.
(2000)
In Dyckhoff, R. (eds),
Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2000).
Lecture Notes in Artificial Intelligence, Vol. 1847,
Springer,
67-71.
Abstract,
BiBTeX,
PostScript
(Copyright © Springer)
MSPASS is an extension of the first-order theorem
prover SPASS,
which can be used as a modal logic theorem prover, a theorem prover for
description logics and a theorem prover for the relational calculus.
Renate A. Schmidt
Home |
Publications |
Tools |
FM Group |
School |
Man Univ
Last modified: 27 Apr 2001
Copyright © 2000
Renate A. Schmidt,
School of Computer Science, Man Univ, schmidt@cs.man.ac.uk