Search academic texts

Information × Registration Number 0308U007637, 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 Дослідження секвенціального зворотного методу, методів інтерпретації експерименту для теоретико-можливісного підходу, формальної семантики ядра SQL-подібних мов Head Redko Volodymyr Nykyforovych, Registration Date 22-12-2008 Organization Taras Shevchenko Kiev university popup.description2 A sequential variety of the indirect method for the classical and nonclassical logics and the new methods for the experiment interpretation based on the theoretical-capability approach have been developed; the formal semantic for nucleus SQL-like languages have been investigated. Product Description popup.authors popup.nrat_date 2020-04-02 Close