搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Rajesh Munavalli , Robert Miner
DOI: 10.1145/1148170.1148348
关键词:
摘要:
,2010, 引用: 0
Lecture Notes in Computer Science,2012, 引用: 25
MKM'11 Proceedings of the 18th Calculemus and 10th international conference on Intelligent computer mathematics,2011, 引用: 80
International Conference on Intelligent Computer Mathematics,2014, 引用: 4
,2010, 引用: 7
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference,2007, 引用: 11
,2013, 引用: 3
Proceedings of the International Conference on Intelligent Computer Mathematics - Volume 9150,2015, 引用: 11
Lecture Notes in Computer Science,2012, 引用: 18
acm.org
sci-hub.se