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.

Individual Researchers specializing on Mechanized Reasoning


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

Last updated 5 March 2001.