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

3 та иш

Иш: First-Order Dynamic Logic

1. Hoare logic for GOLOG programs

   Yongmei Liu

   ДиссертацияLogic, programming, and type systemsTSpace20000 иқтибос

   ABIABI:AkademIndex/openalex/2000.dissertation.000005

2. Hybrid Ensemble Learning For Robust QRS Complex Detection

   Dushanov Begmamat, Boburjon Vafoev, Hamdam Homidov +2

   МақолаECG Monitoring and Analysis20250 иқтибос

   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

   БобIntelligent Tutoring Systems and Adaptive LearningLecture notes in computer science20250 иқтибос

   ABIABI:AkademIndex/openalex/2025.chapter.000106