Journal of Formalized Reasoning

2025年2月24日

Journal title: Journal of Formalized Reasoning

EISSN: 1972-5787
Keywords: formalization, verification, checking, reasoning
Languages: English
Publisher: University of Bologna
Country: Italy
APC: No
Subjects: Science: Mathematics: Instruments and machines: Electronic computers. Computer science | Science: Mathematics: Analytic mechanics

标签： DOAJ

上一篇：The Journal of Business Economics and Environmental Studies
下一篇：Mass Spectrometry Letters