 |
| about dmoz | help |
|
|
| about dmoz | help |
Top: Science: Math: Logic_and_Foundations: Software
| All submissions are welcome. |
Logic-related software: Software implement "logic(s)" explicitly. This category includes e.g. automated reasoning systems, theorem provers, self-study software, and their "add-in"s. Both non-commercial and commercial software will be listed.
| Copyright © 1998-2009 Netscape |