Journal of Formalized Reasoning

Resource information

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: THE KEEPERS

Indexed by: ROAD

Indexed by: DOAJ

Indexed by: SCOPUS

Record information

Type of record: Confirmed

Last modification date: 10/10/2012

ISSN Center responsible of the record: Centro Nazionale ISSN

Record creation date: 26/07/2007

Original ISSN Centre: Centro Nazionale ISSN


URL: jfr.unibo.it

URL: jfr.cib.unibo.i ...

URL: jfr.unibo.it

URL: jfr.cib.unibo.i ...

Google: ..."1972-5787"

Bing: ..."1972-5787"

Yahoo: ...