Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Journal_of_Formalized_Reasoning> ?p ?o. }
Showing items 1 to 68 of
68
with 100 items per page.
- Journal_of_Formalized_Reasoning abbreviation "J. Form. Reason.".
- Journal_of_Formalized_Reasoning 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. Accepted papers are published on the Internet immediately upon acceptance.".
- Journal_of_Formalized_Reasoning academicDiscipline Implementation_of_mathematics_in_set_theory.
- Journal_of_Formalized_Reasoning firstPublicationYear "2008".
- Journal_of_Formalized_Reasoning frequencyOfPublication "Biannual".
- Journal_of_Formalized_Reasoning issn "1972-5787".
- Journal_of_Formalized_Reasoning oclc "456198191".
- Journal_of_Formalized_Reasoning openAccessContent "Yes".
- Journal_of_Formalized_Reasoning publisher University_of_Bologna.
- Journal_of_Formalized_Reasoning wikiPageExternalLink jfr.unibo.it.
- Journal_of_Formalized_Reasoning wikiPageExternalLink jfr.unibo.it.
- Journal_of_Formalized_Reasoning wikiPageExternalLink index.
- Journal_of_Formalized_Reasoning wikiPageExternalLink archive.
- Journal_of_Formalized_Reasoning wikiPageID "22327994".
- Journal_of_Formalized_Reasoning wikiPageRevisionID "591543745".
- Journal_of_Formalized_Reasoning abbreviation "J. Form. Reason.".
- Journal_of_Formalized_Reasoning country "Italy".
- Journal_of_Formalized_Reasoning discipline Implementation_of_mathematics_in_set_theory.
- Journal_of_Formalized_Reasoning editor "Andrea Asperti".
- Journal_of_Formalized_Reasoning frequency "Biannual".
- Journal_of_Formalized_Reasoning hasPhotoCollection Journal_of_Formalized_Reasoning.
- Journal_of_Formalized_Reasoning history "2008".
- Journal_of_Formalized_Reasoning issn "1972".
- Journal_of_Formalized_Reasoning link index.
- Journal_of_Formalized_Reasoning link archive.
- Journal_of_Formalized_Reasoning link1Name "Online access".
- Journal_of_Formalized_Reasoning link2Name "Online archive".
- Journal_of_Formalized_Reasoning oclc "456198191".
- Journal_of_Formalized_Reasoning openaccess "Yes".
- Journal_of_Formalized_Reasoning publisher University_of_Bologna.
- Journal_of_Formalized_Reasoning title "Journal of Formalized Reasoning".
- Journal_of_Formalized_Reasoning website jfr.unibo.it.
- Journal_of_Formalized_Reasoning subject Category:Biannual_journals.
- Journal_of_Formalized_Reasoning subject Category:Computer_science_journals.
- Journal_of_Formalized_Reasoning subject Category:English-language_journals.
- Journal_of_Formalized_Reasoning subject Category:Open_access_journals.
- Journal_of_Formalized_Reasoning subject Category:Publications_established_in_2008.
- Journal_of_Formalized_Reasoning subject Category:Reasoning.
- Journal_of_Formalized_Reasoning subject Category:University_of_Bologna.
- Journal_of_Formalized_Reasoning type Artifact100021939.
- Journal_of_Formalized_Reasoning type ComputerScienceJournals.
- Journal_of_Formalized_Reasoning type Creation103129123.
- Journal_of_Formalized_Reasoning type Object100002684.
- Journal_of_Formalized_Reasoning type OpenAccessJournals.
- Journal_of_Formalized_Reasoning type Periodical106593296.
- Journal_of_Formalized_Reasoning type PhysicalEntity100001930.
- Journal_of_Formalized_Reasoning type Product104007894.
- Journal_of_Formalized_Reasoning type Publication106589574.
- Journal_of_Formalized_Reasoning type Whole100003553.
- Journal_of_Formalized_Reasoning type Work104599396.
- Journal_of_Formalized_Reasoning type AcademicJournal.
- Journal_of_Formalized_Reasoning type PeriodicalLiterature.
- Journal_of_Formalized_Reasoning type Work.
- Journal_of_Formalized_Reasoning type WrittenWork.
- Journal_of_Formalized_Reasoning type CreativeWork.
- Journal_of_Formalized_Reasoning type InformationEntity.
- Journal_of_Formalized_Reasoning 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. Accepted papers are published on the Internet immediately upon acceptance.".
- Journal_of_Formalized_Reasoning label "Journal of Formalized Reasoning".
- Journal_of_Formalized_Reasoning label "Journal of Formalized Reasoning".
- Journal_of_Formalized_Reasoning sameAs Journal_of_Formalized_Reasoning.
- Journal_of_Formalized_Reasoning sameAs m.05sxpp4.
- Journal_of_Formalized_Reasoning sameAs Q6295233.
- Journal_of_Formalized_Reasoning sameAs Q6295233.
- Journal_of_Formalized_Reasoning sameAs Journal_of_Formalized_Reasoning.
- Journal_of_Formalized_Reasoning wasDerivedFrom Journal_of_Formalized_Reasoning?oldid=591543745.
- Journal_of_Formalized_Reasoning homepage jfr.unibo.it.
- Journal_of_Formalized_Reasoning isPrimaryTopicOf Journal_of_Formalized_Reasoning.
- Journal_of_Formalized_Reasoning name "Journal of Formalized Reasoning".