Automated Reasoning Project
Library Home || Full Table of Contents || Library Help
|Computer Sciences Laboratory, Australian National University, Canberra|
|A research group that investigates the mathematical properties of non-classical logics, and studies algorithms for reasoning in various systems, both classical and non-classical. Includes access to software developed by the team for projects such as FINDER (Finite Domain Enumerator), MaGIC (Matrix Generator for Implication Connectives) and Kripke (A theorem prover for the relevant logic LR), and more.|
|Resource Types:||Research Centers, Topic Tools Miscellaneous|
© 1994- The Math Forum at NCTM. All rights reserved.