| dbo:abbreviation
| |
| dbo:abstract
|
- The Journal of Formalized Reasoning is a peer-reviewed open access academic journal established in 2009. It publishes formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verifications. It is maintained by AlmaDL, the digital library of the University of Bologna. (en)
- Le Journal of Formalized Reasoning (JFR) est une revue scientifique à évaluation par les pairs en libre accès créée en 2009. La revue publie des articles sur les recherches en (en) dans tous les domaines, y compris les mathématiques classiques, le constructivisme, les algorithmes formels, et la vérification formelle de programmes. La revue est intéressée par les techniques et méthodologies de preuve et leur impact sur le processus de formalisation. En particulier, la revue offre un forum pour comparer des approches alternatives, et les études de réutilisabilité des solutions. La revue est gérée par AlmaDL qui est la bibliothèque numérique de l'université de Bologne. Elle paraît en continu ; les articles sont regroupés en un volume annuel composé en général d'un seul numéro ; le volume peut comporter deux numéros, le deuxième constituant alors une numéro spécial. (fr)
- Journal of Formalized Reasoning (JFR) è una rivista peer-reviewed che pubblica articoli riguardanti la in ogni area della matematica, e toccano ambiti come la , gli algoritmi. JFR è nato nel 2008, ed è mantenuto da AlmaDL, biblioteca digitale dell'Università di Bologna. (it)
|
| dbo:academicDiscipline
| |
| dbo:firstPublicationYear
| |
| dbo:frequencyOfPublication
| |
| dbo:issn
| |
| dbo:oclc
| |
| dbo:openAccessContent
| |
| dbo:publisher
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1389 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:abbreviation
|
- J. Formaliz. Reason. (en)
|
| dbp:country
| |
| dbp:discipline
| |
| dbp:editor
| |
| dbp:frequency
| |
| dbp:history
| |
| dbp:issn
| |
| dbp:link
| |
| dbp:link1Name
| |
| dbp:link2Name
| |
| dbp:oclc
| |
| dbp:openaccess
| |
| dbp:publisher
| |
| dbp:title
|
- Journal of Formalized Reasoning (en)
|
| dbp:website
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| gold:hypernym
| |
| rdf:type
| |
| rdfs:comment
|
- The Journal of Formalized Reasoning is a peer-reviewed open access academic journal established in 2009. It publishes formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verifications. It is maintained by AlmaDL, the digital library of the University of Bologna. (en)
- Journal of Formalized Reasoning (JFR) è una rivista peer-reviewed che pubblica articoli riguardanti la in ogni area della matematica, e toccano ambiti come la , gli algoritmi. JFR è nato nel 2008, ed è mantenuto da AlmaDL, biblioteca digitale dell'Università di Bologna. (it)
- Le Journal of Formalized Reasoning (JFR) est une revue scientifique à évaluation par les pairs en libre accès créée en 2009. La revue publie des articles sur les recherches en (en) dans tous les domaines, y compris les mathématiques classiques, le constructivisme, les algorithmes formels, et la vérification formelle de programmes. La revue est intéressée par les techniques et méthodologies de preuve et leur impact sur le processus de formalisation. En particulier, la revue offre un forum pour comparer des approches alternatives, et les études de réutilisabilité des solutions. (fr)
|
| rdfs:label
|
- Journal of Formalized Reasoning (it)
- Journal of Formalized Reasoning (en)
- Journal of Formalized Reasoning (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- Journal of Formalized Reasoning (en)
|
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
