国内版
国际版
网页
图片
视频
学术
词典
地图
更多
航班
笔记本
报告不当内容
请选择下列任一选项。
无关
低俗内容
成人
儿童性侵犯
时长
全部
短(小于 5 分钟)
中(5-20 分钟)
长(大于 20 分钟)
日期
全部
过去 24 小时
过去一周
过去一个月
去年
清晰度
全部
低于 360p
360p 或更高
480p 或更高
720p 或更高
1080p 或更高
源
全部
优酷
酷6
土豆
6.cn
Joy
新浪
搜狐
CCTV
价格
全部
免费
付费
清除筛选条件
筛选器
55:29
Sara Negri - 公理作为直觉主义逻辑规则
已浏览 486 次
2 个月之前
bilibili
筑桥者Hagi
8:07
【软件基础·逻辑基础】06 Coq系统
已浏览 638 次
2022年11月3日
bilibili
公开课译注
15-819 Homotopy Type Theory
已浏览 1426 次
2018年3月7日
bilibili
opednyqu
通义智文-更懂你的AI阅读助手
3 个月之前
aliyun.com
类型, 集合与构造数学, 波恩大学豪斯多夫数学研究所 (HIM), 2018
已浏览 1875 次
2022年1月29日
bilibili
Teichmuller
3:07:57
【直观类型论】【HIM】Intuitionistic Type Theory by Peter Dybjer
已浏览 576 次
2018年6月19日
bilibili
长明-R
2:20:57
【谈恋爱不如学抽代 第二期-10】【Bouns】逻辑学基础 分享人 Guoyu
已浏览 106 次
2 个月之前
bilibili
HaroldGin
1:18:56
Giuseppe Rosolini - Ultracompletions
已浏览 314 次
5 个月之前
bilibili
筑桥者Hagi
1:04:24
Alain Connes - 拓扑斯与非交换几何：空间与数的两种视角
已浏览 1008 次
5 个月之前
bilibili
筑桥者Hagi
If axiom schema (10) of L4 is replaced by the schema (10)': ¬B... | Filo
1 个月前
askfilo.com
Biased-Predicate Annotation Identification via Unbiased Visual Pr
…
2023年10月27日
acm.org
9 Critical Digital Transformation Challenges to Overcome (2025)
已浏览 2 次
2022年12月2日
whatfix.com
Logic and topology
已浏览 48 次
2016年12月9日
tib.eu
36:26
Pablo Donato - 鲜花演算
已浏览 300 次
4 个月之前
bilibili
筑桥者Hagi
Polymorphic Blocks | Proceedings of the 33rd Annual ACM Conference o
…
2015年4月18日
acm.org
Combining Dependency, Grades, and Adjoint Logic | Proceedings of the 8t
…
2024年9月1日
acm.org
Combining Dependency, Grades, and Adjoint Logic | Proceedings of the 8t
…
2023年8月31日
acm.org
A fine-grained computational interpretation of Girard’s intuitionistic
…
2022年1月12日
acm.org
A unified view of modalities in type systems | Proceedings of the ACM o
…
2020年8月3日
acm.org
INTUITIVE definition and meaning | Collins English Dictionary
1 个月前
collinsdictionary.com
INTUITION的英语发音
2021年9月29日
cambridge.org
Mixed linear and non-linear recursive types | Proceedings of the ACM on P
…
2019年7月26日
acm.org
Chapter 3: Introduction to Assembly Language Programming - SlideServe
已浏览 459 次
2012年5月31日
slideserve.com
4:44
Naturalistic Intelligence | Definition & Examples
已浏览 5.7万 次
2015年11月10日
Study.com
观看更多视频
反馈
反馈