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

Index

The European Community Research Center (ECRC) has some activities in deduction.
Hitachi's Advanced Research Laboratory

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

Last updated 11 June 1996.