箭头语言模型：用逻辑重写AI
6:55
箭头语言模型：用逻辑重写AI
已浏览 596 次1 个月前
bilibili概率海
A Novel Bi-environmental Intuitionistic Fuzzy C-Means Clustering Algorithm | Neural Information Processing
A Novel Bi-environmental Intuitionistic Fuzzy C-Means Clustering Algorith…
1 个月前
acm.org
Towards Model Checking Video Streams Using VoxLogicA on GPUs | From Data to Models and Back
Towards Model Checking Video Streams Using VoxLogicA on GPUs …
2022年12月18日
acm.org
【短课】Graham Manuell - 无点拓扑与构造主义数学
4:33:31
【短课】Graham Manuell - 无点拓扑与构造主义数学
已浏览 565 次2024年8月5日
bilibili筑桥者Hagi
【直观类型论】【HIM】Intuitionistic Type Theory by Peter Dybjer
1:00:37
【直观类型论】【HIM】Intuitionistic Type Theory by Peter Dybjer
已浏览 579 次2018年6月19日
bilibili长明-R
Intuitionistic Type (of guy) Theory
Intuitionistic Type (of guy) Theory
已浏览 4 次2021年7月14日
substack.com
Pablo Donato - 鲜花演算
36:26
Pablo Donato - 鲜花演算
已浏览 310 次9 个月之前
bilibili筑桥者Hagi
55:29
Sara Negri - 公理作为直觉主义逻辑规则
已浏览 508 次8 个月之前
bilibili筑桥者Hagi
8:07
【软件基础·逻辑基础】06 Coq系统
已浏览 666 次2022年11月3日
bilibili公开课译注
3:55:59
【研讨会】Heyting Day 2025：直觉主义与可计算性的模型｜纪念 Jaap v…
已浏览 500 次1 年前
bilibili筑桥者Hagi
2:20:57
【谈恋爱不如学抽代 第二期-10】【Bouns】逻辑学基础 分享人 Guoyu
已浏览 133 次8 个月之前
bilibiliHaroldGin
Do you think Gödel's Incompleteness Theorems are valid in intui... | Filo
4 个月之前
askfilo.com
Time in Physics and Intuitionistic Mathematics | PIRSA
2021年6月17日
pirsa.org
Logic and topology
已浏览 48 次2016年12月9日
tib.eu
Related Videos - Engineered nanomaterials reduce metal(loid) acc…
7 个月之前
jove.com
15-819 Homotopy Type Theory
已浏览 1439 次2018年3月7日
bilibiliopednyqu
1:18:56
Giuseppe Rosolini - Ultracompletions
已浏览 317 次11 个月之前
bilibili筑桥者Hagi
1:04:24
Alain Connes - 拓扑斯与非交换几何：空间与数的两种视角
已浏览 1094 次11 个月之前
bilibili筑桥者Hagi
A unified view of modalities in type systems | Proceedings of the ACM o…
2020年8月3日
acm.org
Combining Dependency, Grades, and Adjoint Logic | Proceedings of the 8t…
2023年8月31日
acm.org
A unified view of modalities in type systems | Proceedings of the ACM o…
2020年8月3日
acm.org
Lolliproc: to concurrency from classical linear logic via curry-howard and con…
2010年9月27日
acm.org
Combining Dependency, Grades, and Adjoint Logic | Proceedings of the 8t…
2024年9月1日
acm.org
Biased-Predicate Annotation Identification via Unbiased Visual Pr…
2023年10月27日
acm.org
类型, 集合与构造数学, 波恩大学豪斯多夫数学研究所 (HIM), 2018
已浏览 1905 次2022年1月28日
bilibiliTeichmuller
INTUITION的英语发音
2021年9月29日
cambridge.org
观看更多视频
静态缩略图占位符