搜索结果: 1-1 共查到“学术机构 Mathematical Methods”相关记录1条 . 查询时间(0.187 秒)
The Mathematical Methods of Programming Group research concentrates on the mathematical foundations of computing. The techniques used include: logics, category theory, logics and theory of institution...