This page is still under construction, so it is by no means complete. For a better service to the mechanized Reasoning community we need your help, so please contribute!. Send any links, suggestions, encouragement, or donations by clicking here.

University Research Groups specializing on Mechanized Reasoning

Index Research Groups (Ordered by Head of Group)

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

Last updated 8 August 1996.