Search academic texts

Information × Registration Number 0307U009200, 0106U005856 , R & D reports Title Constructive mathematical formalisms development for intellectual decision-making and knowledge processing systems, languages standardizing for DBMS and CASE-means popup.stage_title Розробка секвенціального формалізму для комп'ютерно-орієнтованих логік та методів проектування систем надвисокої розв'язувальної здатності; дослідження семантичних структур об'єктно-орієнтованих БД Head Redko Volodymyr Nykyforovych, Registration Date 28-12-2007 Organization Taras Shevchenko Kiev university popup.description2 The sequential formalism for automatic theorem proving has been introduced. The problems of modelling of measuring-calculating systems with ultra-high resolving ability have been investigated and the new methods of reduction of measurements for calculation have been developed. The main properties and descriptions of object-oriented database systems have been described and their generally valid semantic structures have been distinguished. Product Description popup.authors popup.nrat_date 2020-04-02 Close