Automated Reasoning - Research

Research

Research Groups: This page attempts to provide a listing of groups actively carrying out research in Automated Reasoning.

People: A listing of individuals interested in the different problems in Automated Reasoning.

Site NavigationHome About:

What is automated reasoning?

Why automated reasoning?

Why is automated reasoning necessary ?

Where can I learn more about automated reasoning ?

For which applications do I use automated reasoning ?

Who's Who: "Banner Carriers" in automated reasoning: People, Groups, Tools

What are some of the major automated reasonings tools?

Grand Challenges:Research

Research Groups

ToolsEventsPublications:

skip to:page content|site navigation|footer (site information)