信息
演示
联系人和访问
IRIF成员章程
平等
环境
号码簿
IRIF的指导计划
儿童保育计划
研究
算法和离散结构
算法和复杂性
组合数学
分布式计算
图的理论和算法
自动化、结构和验证
自动化和应用程序
建模和验证
证明、程序和系统
代数与计算
系统分析和概念
证据和程序
皮库伯河(Inria)
出版物(hal)
活动
IRIF事件
IRIF杰出演讲系列
IRIF天数
极点会议
IRIF和环境小组
学术讨论
算法和复杂性
算法和离散结构
自动化
枚举和分析组合
图和分布式计算
格式化
证明、程序和系统
验证
非常任理事国研讨会
在线研讨会
图变换理论及其应用
一次世界记数研讨会
工作组
系统分析和概念
高级类别、测谎和同伦
逻辑、自动机、代数和游戏
编程
语义学
语法符合语义
类型理论和同伦理论
类型理论与可实现性
辩护
博士辩护
习惯性防御
调解
科学的存在
中学/高中实习
研究概况
50年展览
Projet QuBOBS(量子计算解释)
亮点
奖项和荣誉
软件
赠款
国际合作
EPIT研究院
学者
机会
游客计划
研究支持
教员
研究人员
流动人员
教学助理
博士研究
硕士实习
中学/高中实习
互联网
本页的翻译
本页的翻译
法国
英语
登录
此主题尚不存在
您已经关注了一个链接,该链接指向一个尚不存在的主题。
如果权限允许,您可以通过单击
创建此页面
.