Ushbu ishga iqtibos qilgan ishlar

3 ta ish

Ish: First-Order Dynamic Logic

1. Hoare logic for GOLOG programs

   Yongmei Liu

   DissertatsiyaLogic, programming, and type systemsTSpace20000 iqtibos

   ABIABI:AkademIndex/openalex/2000.dissertation.000005

2. Hybrid Ensemble Learning For Robust QRS Complex Detection

   Dushanov Begmamat, Boburjon Vafoev, Hamdam Homidov +2

   MaqolaECG Monitoring and Analysis20250 iqtibos

   ABIABI:AkademIndex/openalex/2025.article.019004

3. Rethinking Humanities Education: The Impact of Artificial Intelligence and Neural Networks on Pedagogical Strategies

   Iroda Shamsieva, Luiza Sayfullovna Makhmutkhodjaeva, Jumaev Tulkin +1

   BobIntelligent Tutoring Systems and Adaptive LearningLecture notes in computer science20250 iqtibos

   ABIABI:AkademIndex/openalex/2025.chapter.000106