Category:Reasoner

From Openresearch
Revision as of 11:45, 26 September 2008 by Floebe (talk | contribs) (new)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to 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://confident.dbis.rwth-aachen.de/or/index.php?title=Category:Reasoner&oldid=4275"