Bakh Khoussainov

1 та иш

Computer Science, UESTC, Chengdu, China

1. Defining algorithmically presented structures in first order logic

   N. Kh. Kasymov, N. R. Karimova, Bakh Khoussainov

   МақолаComputability, Logic, AI Algorithms20241 иқтибос

   ABIABI:AkademIndex/openalex/2024.article.003555