- 5. Publicaţii la manifestări din RM
- 5.3.Publicații la alte manifestări din RM - 1
Algebraic Methods in Automated Reasoning |
Jebelean Tudor |
RISC–Linz, Johannes Kepler University |
Conference of Mathematical Society of the Republic of Moldova |
4. 2017. Chişinău. ISBN 978-9975-71-915-5. |
Disponibil online 6 October, 2017. Descarcări-2. Vizualizări-592 |