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
Earliest publisher: Bologna: Centro Inter Bibliotecario - Università di Bologna
Latest publisher: Bologna: ASDD-AlmaDL, 20uu-
Dates of publication: 2008- 9999
Type of resource: Periodical
Language: English
Country: Italy
Medium: Online
Indexed by: SCOPUS
Indexed by: DOAJ
Indexed by: ROAD
Record information
Type of record: Confirmed
Last modification date: 06/02/2020
ISSN Center responsible of the record: Centro Nazionale ISSN
Record creation date: 26/07/2007
Original ISSN Centre: Centro Nazionale ISSN