首页
│
系统简介
│
如何使用
│
管理用户登录
from
to
search
人文与社会科学
经济学
法学
艺术学、设计学
数学
物理学
化学
生物学
天文学
力学
机械
汽车工程
航空宇航科学与技术
材料科学与工程
光学与仪器
动力工程及工程热物理
电气工程
电子与通信工程
集成电路科学与工程
控制科学与工程
计算机科学与技术
建筑学
土木工程
水利工程
化学工程与技术
核科学与技术
环境科学与工程
生物医学工程
地球系统科学
管理科学与工程
工商管理
公共管理
图书馆讲座
未分类
Symmetry restoration and quantum Mpemba effects in chaotic andlocalization sy...
Quantum Gases 2024
Stories of Fermions in an Optical Box
Contractive Unitary and Classical Shadow Tomography
更多内容
更多内容
报告题目:
Lambda-Calculus (Lambda演算)
报告人:
Jean-Jacques Lévy
法国信息与自动化研究所微软联合实验室主任
报告时间:
2010-09-03 10:30
报告地点:
FIT楼 小报告厅
主办单位:
软件学院
简介:
研究生短期课程.doc
今日相关信息
A Critical Quantity for Noise Attenua...
境学术沙龙第49期：Climate-Chemistry C...
更多内容
同类别相关信息
人工智能拓展火灾安全研究的进展
第四届清华信息前沿交叉论坛
浅谈人工智能重塑城市公共安全治理新范式
AIR学术沙龙第37期｜创新智能环境：无...
脑机接口时代，我们还能做什么？——脑科...
更多内容
学术活动
研究生短期课程.doc
