1. Home
  2. Science
  3. Mathematics
  4. (Australia) Canberra

Science · Mathematics

(Australia) Canberra

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About (Australia) Canberra

(Australia) Canberra- Automated Reasoning Group. Publications, software, meetings, links. Research areas: mathematical properties of non-classical logics; algorithms for reasoning in classical and non-classical systems.

Tags

History

Where it sits

Science Mathematics

More in Mathematics

See all →