Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics
2013 ◽
pp. 101-113
Keyword(s):
Keyword(s):
Keyword(s):
1980 ◽
Vol 28
(3)
◽
pp. 306-310
◽