This page is still under construction, so it is by no means complete.
For a better service to the mecanized
Reasoning community I will need your help, so please contribute!.
Send any links, suggestions, encouragement, or
donations by clicking
Industrial Research groups specializing on Mechanized Reasoning
This page comes to you courtesy of
Michael Kohlhase and
Last updated 11 June 1996.