(Australia) Canberra

(Australia) Canberra
All Links

Share this:

Details of (Australia) Canberra

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.
History