Search academic texts

Information × Registration Number 0307U001323, 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 14-02-2007 Organization Taras Shevchenko Kiev university popup.description2 The special-purpose solver algorithms and Erbran theorems for classical and intuitionistic logics have been introduced. The concept semantic for the nucleus of SQL-like languages which consists of data assignment operators and data manipulation operators have been described. Product Description popup.authors popup.nrat_date 2020-04-02 Close