搜索历史记录选项已关闭,请开启搜索历史记录选项。
作者: Rainer Wittmann
DOI: 10.1007/BF01190119
关键词: Discrete mathematics 、 Mathematics 、 Proof mining 、 Fixed point
摘要:
,2002, 引用: 5
,2007, 引用: 3
,2005, 引用: 42
,2009, 引用: 6
Advances in Intelligent and Soft Computing,2011, 引用: 2
,2009, 引用: 0
,2010, 引用: 1
East Asian mathematical journal,2008, 引用: 0
Set-valued Analysis,2000, 引用: 73
,2011, 引用: 68