The evidence algorithm and problems of representation and processing of mathematical computer knowledge
2016 ◽
Vol 11
(4)
◽
pp. 18
2002 ◽
Vol 18
(3)
◽
pp. 241-255
◽