M
📝 描述
Research group based in Edinburgh, it is running on the interaction between logic, mathematics and informatics. Links to publications, homepages, reports.
⭐ 用户评价
暂无评价