文献信息
自然数集合微积分学数学推理类型理论函数指针定理证明器二次方根形式化数学工具方法控制流信息交互式定理证明器动态交通数据数值准确性根系功能应用型数学浮点数格式形式化校验GMP算法图书馆语义学
无数据
vol.13 (2020)
vol.12 (2019)
vol.11 (2018)
vol.10 (2017)
vol.9 (2016)
vol.8 (2015)
vol.7 (2014)
vol.6 (2013)
vol.5 (2012)
vol.4 (2011)
vol.3 (2010)
vol.2 (2009)
vol.1 (2008)
Appel, Andrew W.Bertot, Yves
2020年1期
客服热线
400-638-5550
客服邮箱
service@cqvip.com