Работы, цитирующие эту работу

Работ: 1

Работа: Defining algorithmically presented structures in first order logic

1. Separable numberings of universal algebras

   N. Kh. Kasymov

   СтатьяComputability, Logic, AI AlgorithmsMathematics and Theoretical Computer Science2025Цитирований: 0

   ABIABI:AkademIndex/openalex/2025.article.003416