A NOTE ON GLOBAL INDUCTION MECHANISMS IN A -CALCULUS WITH EXPLICIT APPROXIMATIONS

A NOTE ON GLOBAL INDUCTION MECHANISMS IN A -CALCULUS WITH EXPLICIT APPROXIMATIONS
复制标题

关于具有显式近似的微积分中的全局归纳机制的注记

DOI:
10.1007/978-3-319-10431-7
复制
发表时间:
2002
期刊:
J. Log. Comput.
影响因子:
--
通讯作者:
C. Sprenger
C. Sprenger
中科院分区:
--
文献类型:
--
作者:
C. Sprenger

文献摘要

被引文献

相似文献