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: Centro Inter Bibliotecario - Università di Bologna
Corporate contributor: Alma Mater Studiorum, Università di Bologna
Corporate contributor: Alma Mater Studiorum, University of 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: DOAJ
Indexed by: SCOPUS
Record information
Type of record: Confirmed
Last modification date: 15/07/2021
ISSN Center responsible of the record: Centro Nazionale ISSN
Record creation date: 26/07/2007
Original ISSN Centre: Centro Nazionale ISSN