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

Работ: 3

Работа: First-Order Dynamic Logic

1. Hoare logic for GOLOG programs

   Yongmei Liu

   ДиссертацияLogic, programming, and type systemsTSpace2000Цитирований: 0

   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 Analysis2025Цитирований: 0

   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 science2025Цитирований: 0

   ABIABI:AkademIndex/openalex/2025.chapter.000106