contrast-medium 发表于 2025-3-26 21:28:58

9楼

lacrimal-gland 发表于 2025-3-27 02:02:35

9楼

FLORA 发表于 2025-3-27 07:07:40

10楼

apropos 发表于 2025-3-27 13:20:38

10楼

Ordeal 发表于 2025-3-27 14:06:42

10楼

Mechanics 发表于 2025-3-27 20:43:13

10楼
页: 1 2 3 [4]
查看完整版本: Titlebook: Towards Mechanized Mathematical Assistants; 14th Symposium, Calc Manuel Kauers,Manfred Kerber,Wolfgang Windsteiger Conference proceedings 2