Ушбу ишга иқтибос қилган ишлар

2 та иш

Иш: Deductive tools of an algebraic programming system

1. Universal Linear Data Structure

   Rustam Kabulov Vosilovich

   МақолаFormal Methods in Verification2020 International Conference on Information Science and Communications Technologies (ICISCT)20200 иқтибос

   ABIABI:AkademIndex/openalex/2020.article.002010

2. Formalization of Data Derivative Structures

   Rustam Vosilovich kabulov, Ortik Ruzibaev, Kuchkorov Temur Ataxanovich +1

   МақолаAdvanced Software Engineering Methodologies2020 International Conference on Information Science and Communications Technologies (ICISCT)20200 иқтибос

   ABIABI:AkademIndex/openalex/2020.article.004480