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

3 та иш

Иш: $T_1$-separable numberings of subdirectly indecomposable algebras

1. Separable Algorithmic Representations of Classical Systems and their Applications

   N. Kh. Kasymov, R. N. Dadazhanov, F. N. Ibragimov

   МақолаComputability, Logic, AI AlgorithmsJournal of Mathematical Sciences20244 иқтибос

   ABIABI:AkademIndex/openalex/2024.article.001602

2. Logical specifications of effectively separable data models

   N. Kh. Kasymov

   МақолаSemantic Web and OntologiesIzvestiya Vysshikh Uchebnykh Zavedenii Matematika20241 иқтибос

   ABIABI:AkademIndex/openalex/2024.article.003566

3. Finite logical specifications of effectively separable data models

   N. R. Karimova, N. Kh. Kasymov, S. K. Zhavliev

   МақолаComputability, Logic, AI AlgorithmsIzvestiya Vysshikh Uchebnykh Zavedenii Matematika20250 иқтибос

   ABIABI:AkademIndex/openalex/2025.article.008520