Category:Reasoner

From OPENRESEARCH mk copy Wiki
Jump to navigation Jump to search

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

This category currently contains no pages or media.

Retrieved from "https://confident.dbis.rwth-aachen.de/ormk/index.php?title=Category:Reasoner&oldid=3478"