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