Personensuche
X
?
Proceedings of the 10th ASIC and 9th MKM international conference, and 17th Calculemus conference on Intelligent computer mathematics ,
1
Integrating multiple sources to answer questions in algebra..:
, In:
?
Lecture Notes in Computer Science; Intelligent Computer Mathematics ,
2