Journal of Formalized Reasoning

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