首页
│
系统简介
│
如何使用
│
管理用户登录
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...
更多内容
同类别相关信息
系统辨识的递推方法
清影放映：Rwanda Gambit（2013）
一部陕北史诗的诞生——田波、王苗霞与《...
导演意志与纪录片制作——以达达布纪录片...
十年图破壁 苦寒觅梅香 --2012国家技术...
更多内容
学术活动
研究生短期课程.doc
