еНаука - преглед

Преглед према Аутор Jacques Fleuriot

Приказ резултата 1 до 1 од 1
ГодинаНасловАутор(и)Тип резултатаМп-кат.
2018Computer-Assisted Theorem Proving in Synthetic GeometryJulien Narboux; Janičić, Predrag Đ.  ; Jacques FleuriotПоглавље у монографији
Мп категорија ће бити приказана накнадно.