Thomas Hillenbrand
Research
Teaching
Software
Software
SPASS:
a theorem prover for first-order logic with equality
Waldmeister:
a theorem prover for unit equational deduction
COMPIT:
comparison of indexing techniques for automated reasoning
Max-Planck-Institut für Informatik
About the Institute
|
Research Units
:
AG 1
,
AG 2
|
AG 3
|
AG 4
|
News & Activities
|
Location
|
People
|
Services
|
Search the Site
|
Site Map
This web page is maintained by
Thomas Hillenbrand
<
hillen@mpi-sb.mpg.de
>.
Document last modified on Friday, 12-Oct-2007 12:55:50 MEST.
