Search academic texts

Information × Registration Number 0201U004529, 0197U003171 , R & D reports Title Research and theoretical background of principles of computer-oriental logical-algebraic constructions in formal theories popup.stage_title Head Byelov Yu.A.,, Registration Date 03-04-2001 Organization Taras Shevchenko Kiev University popup.description2 Sequent principles for automated theorem proof search on the basis of self-contained mathematical texts, and of logic-algebraic means for task solutions in axiomatic theories as well as formal theories with an inaccuracy and uncertainly have been developed and theoretical grounded Product Description popup.authors popup.nrat_date 2020-04-02 Close