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 here.

Industrial Research groups specializing on Mechanized Reasoning


This page comes to you courtesy of Michael Kohlhase and Carolyn Talcott.

Last updated 11 June 1996.