Title of cluster (medium version) Journal of Formalized Reasoning
Journal of Formalized Reasoning
Key-title: 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: Centro Inter Bibliotecario - Università di Bologna
Corporate contributor: Alma Mater Studiorum, University of Bologna
Corporate contributor: Università degli studi, Bologna
Corporate contributor: Alma Mater Studiorum, 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
Indexed by: MIRABEL
Indexed by: PUBMED
Indexed by: ROAD
Indexed by: DOAJ
Indexed by: FATCAT
Indexed by: WIKIPEDIA EN (ENGLISH), WIKIPEDIA FR (FRENCH), WIKIPEDIA IT (ITALIAN)
Indexed by: WIKIDATA
Indexed by: SUDOC
Indexed by: SCOPUS
Indexed by: OPENALEX
Indexed by: EZB
Indexed by: ZDB
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 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