Ushbu ishga iqtibos qilgan ishlar

1 ta ish

Ish: Defining algorithmically presented structures in first order logic

1. Separable numberings of universal algebras

   N. Kh. Kasymov

   MaqolaOAOchiq kirishComputability, Logic, AI AlgorithmsMathematics and Theoretical Computer Science20250 iqtibos

   ABIABI:AkademIndex/2025.article.003416