Search academic texts

Information × Registration Number 0200U008805, 0107U009136 , R & D reports Title Logic-and-ontological studies sn automatic reasoning popup.stage_title Head Anisimov Anatoly Vasilievich, Доктор фізико-математичних наук Registration Date 21-12-2000 Organization Taras Shevchenko Kiev university popup.description2 The modern systems of automated reasoning are analyzed in the report. Some general principals for the construction of formal natural languages for presentation and processing of mathematical knowledge in the form comfortable for a user are developed; the theoretical foundation of the execution of logic-ontological transformations in the framework of a special logical formalism. Product Description popup.authors popup.nrat_date 2020-04-02 Close