Biomedical Science and Clinical Research(BSCR)
ISSN: 2835-7914 | DOI: 10.33140/BSCR
Impact Factor: 1.7
Researchers and authors can directly submit their manuscript online through this link Online Manuscript Submission.
The Use of Tools for Automatic Proof of Mathematical Logic Theorems for Modeling the Dynamic Balance of Minerals in the Human Body
Citation
Viktoria Kondratenko and Leonid Slovianov
Kondratenko, V., Slovianov, L. (2025). The Use of Tools for Automatic Proof of Mathematical Logic Theorems for Modeling the Dynamic Balance of Minerals in the Human Body. Biomed Sci Clin Res, 4(1), 01-12.