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: PUBMED
Indexed by: ROAD
Indexed by: SCOPUS
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: SHERPA ROMEO
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
Record creation date: 26/07/2007
Original ISSN Centre: Centro Nazionale ISSN