Search academic texts

Information × Registration Number 0107U009136, ( 0200U008805  0207U008805  ) R & D request Title "Logic-and-ontological studies in automatic reasoning" Head Anisimov Anatolii , Доктор фізико-математичних наук Registration Date 08-10-2007 Organization Taras Shevchenko National University of Kyiv popup.description1 popup.nrat_date 2024-12-10 Close