Journal of Formalized Reasoning
| Μορφή: | journal |
|---|---|
| Γλώσσα: | English |
| Έκδοση: |
University of Bologna
2009
|
| Θέματα: | |
| Διαθέσιμο Online: | https://doaj.org/toc/1972-5787 |
| id |
oai:doaj.org-journal:51ad357b11f94b63940db561a3735fc0 |
|---|---|
| record_format |
dspace |
| spelling |
oai:doaj.org-journal:51ad357b11f94b63940db561a3735fc02023-03-29T11:35:53ZJournal of Formalized Reasoning1972-5787https://doaj.org/toc/1972-5787ENCC BYUniversity of Bolognahttp://jfr.unibo.it/about/editorialPolicies#focusAndScopehttp://jfr.unibo.it/about/submissions#authorGuidelineshttp://jfr.unibo.it/http://jfr.unibo.it/about/editorialPolicies#openAccessPolicy2009-04-29T15:43:00ZjournalformalizationverificationcheckingreasoningElectronic computers. Computer scienceQA75.5-76.95Analytic mechanicsQA801-939 |
| institution |
DOAJ |
| collection |
DSpace |
| language |
English |
| topic |
formalization verification checking reasoning Electronic computers. Computer science QA75.5-76.95 Analytic mechanics QA801-939 |
| spellingShingle |
formalization verification checking reasoning Electronic computers. Computer science QA75.5-76.95 Analytic mechanics QA801-939 Journal of Formalized Reasoning |
| format |
journal |
| title |
Journal of Formalized Reasoning |
| title_short |
Journal of Formalized Reasoning |
| title_full |
Journal of Formalized Reasoning |
| title_fullStr |
Journal of Formalized Reasoning |
| title_full_unstemmed |
Journal of Formalized Reasoning |
| title_sort |
journal of formalized reasoning |
| publisher |
University of Bologna |
| publishDate |
2009 |
| url |
https://doaj.org/toc/1972-5787 |
| _version_ |
1801185095056359424 |
