Share Your Research, Maximize Your Social Impacts
Journal of Formalized Reasoning (ISSN: 1972-5787)
PublisherCIB - University of Bologna
ISSN-L1972-5787
ISSN1972-5787
IF(Impact Factor)2024 Evaluation Pending
Websitehttp://jfr.cib.unibo.it/
Description
Keywords:formalization, verification, checking, reasoningStart year:2008
Last modified: 2010-07-07 23:59:30
Volumes
- No Archives