Category:Reasoner

From Openresearch
Revision as of 10:45, 26 September 2008 by Floebe (talk | contribs) (new)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

This category captures all tools which do any form of automated reasoning, theorem proving, etc.

Pages in category "Reasoner"

This category contains only the following page.

H

Retrieved from "https://www.openresearch.org/mediawiki/index.php?title=Category:Reasoner&oldid=4275"