Search academic texts

Information × Registration Number 0211U002741, 0109U005041 , R & D reports Title "Automated processing of mathematical knowledge in natural style" popup.stage_title Head Anisimov Anatolyi Vasyl'ovych, Доктор фізико-математичних наук Registration Date 23-02-2011 Organization Taras Shevchenko Kiev university popup.description2 The methodology, theoretical principles and software tools for automated deduction natural Computer Assistance in mathematics and other disciplines were constructed. Further development of the natural forms of mathematical knowledge using ontologies and the development of powerful methods of finding a logical conclusion in the classical and nonclassical logic. Product Description popup.authors Анісімов Анатолій Васильович Лялецький О.О. Лялецький Олександр Вадимович Нікітченко Н.С. popup.nrat_date 2020-04-02 Close