Journal of Formalized Reasoning
Publisher:
Università di Bologna
ISSN:
1972-5787
Availability:
2008-present
See more journals in
Mathematics and Statistics
,
Technology and Engineering
.