Journal of Formalized Reasoning
Zweryfikowane przez: editors . Data ostatniej modyfikacji:
Czasopismo naukowe
Otwarty dostęp z otwartymi licencjami
Bez opłat
Otwarte dla wszystkich autorów
W posiadaniu społeczności
| Język głównego tytułu: | - |
| Inne tytuły: | - |
| e-ISSN: | 1972-5787 |
| ISSN: | - |
| Adres strony internetowej: | http://jfr.unibo.it/ |
| DOI: | - |
| Nazwa wydawnictwa: | University of Bologna |
| Kraj wydawnictwa: | Włochy |
| Organizacje: | University of Bologna – Dipartimento di Matematica |
| Licencje: | CC-BY (wersja 4.0, generyczna) |
| Recenzowane: | - |
| Języki: | Angielski |
| Klasyfikacja OECD: | - |
| Słowa kluczowe: | formalization, verification, checking, reasoning |