MRG home page · Research · Publications · Projects · Software · People

MRG Past Projects

Approaches to Reasoning

Proof Planning

Applications and Case Studies

User Interfaces for Reasoning Systems

Mathematical Reasoning Group, Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland
Tel: +44 (0)131 650 2733      Fax: +44 (0)131 650 6899
Please send corrections and suggestions for this page to the DReaM Support Team
Unless explicitly stated otherwise all material on this web site is copyright © The University of Edinburgh.