Journal home
Journal of Formalized Reasoning
ISSN/EISSN: 19725787
Subject:
Computer Science
---
Mathematics
Publisher: CIB - University of Bologna
Country: Italy
Language: English
Start year 2008
Publication fee:
No
--- Further Information
Journal homepage at publisher site
All Available issues
| Year | Volume-Issue |
|---|---|
| 2012 | Volume:5 Issue:1 |
| 2011 | Volume:4 Issue:1 |
| 2010 | Volume:3 Issue:2 |
| 2010 | Volume:3 Issue:1 |
| 2009 | Volume:2 Issue:1 |
| 2008 | Volume:1 Issue:1 |