Key INDRC Publications
-
- Khachaturian A, et al: Accelerating Innovations for Enhanced Brain Health. Can Artificial Intelligence Advance New Pathways for Drug Discovery for Alzheimer’s and other Neurodegenerative Disorders?, The Journal of Prevention of Alzheimer’s Disease 2023; 10, 1-4.
- Kaliszyk C, et al: Combining Higher-Order Logic with Set Theory Formalizations, Journal of Automated Reasoning
- Zhang L, et al: Learning Proof Transformations and Its Applications in Interactive Theorem Proving, Frontiers of Combining Systems 2023; 14279, 236–254.
- Jakubův J, et al: MizAR 60 for Mizar 50, arXiv 2023; 06686
- Parsert J, et al: Experiments on Infinite Model Finding in SMT Solving, EasyChair 2023; 94, 317-328
INDRC – International
Neurodegenerative Disorders
Research Center
Privacy Policy
Email: info@indrc.cz
Copyright © 2023 | INDRC All Rights Reserved