Search academic texts

Information × Registration Number 0209U002494, 0107U003310 , R & D reports Title Mathematical proof in the assistance with a computer popup.stage_title Head Anisimov A. V., Доктор фізико-математичних наук Registration Date 13-02-2009 Organization Taras Shevchenko Kiev university popup.description2 Development of linguistic facilities, intended for presentation of the structured formal mathematical texts and development of procedures for the automatic inference of theorems, which leans against a search and application of relevant facts from the base of knowledges. Product Description popup.authors popup.nrat_date 2020-04-02 Close