Search academic texts

Information × Registration Number 0107U003310, ( 0209U002494  ) R & D request Title Mathematical proof in the assistance with a computer. Head Anisimov Anatolii , Доктор фізико-математичних наук Registration Date 14-05-2007 Organization Taras Shevchenko National University of Kyiv popup.description1 popup.nrat_date 2024-12-10 Close