Key-title Journal of Formalized Reasoning
Journal of Formalized Reasoning
Title proper: Journal of Formalized Reasoning.
Abbreviated key-title: J. Formaliz. Reason.
Running title: Journal of formal reasoning
Original alphabet of title: Basic roman
Subject: UDC : 51
Subject: Dewey : 510
Subject: Mathematics
Corporate contributor: Università degli studi, Bologna
Corporate contributor: Alma Mater Studiorum, University of Bologna
Corporate contributor: Alma Mater Studiorum, Università di Bologna
Corporate contributor: Centro Inter Bibliotecario - Università di Bologna
Earliest publisher: Bologna: Centro Inter Bibliotecario - Università di Bologna
Latest publisher: Bologna: Alma Mater Studiorum University of Bologna
Dates of publication: 2008- 9999
Type of resource: Periodical
Language: English
Country: Italy
Medium: Online
Indexed by: ROAD
Indexed by: SCOPUS
Indexed by: PUBMED
Indexed by: MIRABEL
Indexed by: FATCAT
Indexed by: ZDB
Indexed by: WIKIPEDIA EN (ENGLISH), WIKIPEDIA FR (FRENCH), WIKIPEDIA IT (ITALIAN)
Indexed by: WIKIDATA
Indexed by: SUDOC
Indexed by: OPENALEX
Indexed by: DOAJ
Record information
Type of record: Confirmed
Last modification date: 06/06/2023
ISSN Center responsible of the record: Centro Nazionale ISSN
For all potential issues concerning the description of the publication identified by this bibliographic record (missing or wrong data etc.), please contact the ISSN National Centre mentioned above by clicking on the link.
Record creation date: 26/07/2007
Original ISSN Centre: Centro Nazionale ISSN