Robin Milner

· University of Edinburgh

55h 指数

37,530总引用

194发文

98i10

研究方向

Logic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and KnowledgeComputability, Logic, AI Algorithmssemigroups and automata theory

数据来源: OpenAlex + ORCID + Wikidata · 数据质量: verified

登录后开启学术探索

收藏教授 / 论文 / 学科排名, 订阅研究方向更新。登录后开启这些能力。

已有账号?

您的浏览器禁用了 JavaScript。Gobob 留学助手的核心功能需要 JS 支持, 请开启后刷新页面。
主要导航: 院校库 · 智能评估 · 签证百科 · 排名