Rajaa
Hakutulokset: Hakutulos
Rajaa
yksi hakutulos.
Intelligent Computer Mathematics
nidottu,
2011,
englanti,
ISBN 9783642226724
This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, …