搜索结果: 1-1 共查到“代数学 Anil Nerode”相关记录1条 . 查询时间(0.046 秒)
Professor Anil Nerode，Department of Mathematics at Cornell University（图）
Professor Anil Nerode Department of Mathematics at Cornell University
2015/8/28
Mathematical logic, computability theory, computer science, mathematics of AI, control engineering, quantum control of macroscopic systems
My principal research at present is in theorems and algorith...