Basic Description

Title: Journal of Formalized Reasoning
ISSN: 1972-5787
Publisher: Universita degli Studi di Bologna
Country: Italy
Status: Active
Start Year: 2008
Frequency: Annual
Language of Text: Text in: English
Refereed
Yes
Abstracted / Indexed: Yes
Open Access
Yes
http://jfr.cib.unibo.it
Serial Type: Journal
Content Type: Academic / Scholarly
Format: Online
Website: https://jfr.unibo.it/
Email: sacerdot@cs.unibo.it
Description: Aims to cover significant, automated or semi-automated formalization efforts in any area, including classical mathematics, constructive mathematics, formal algorithms, and program verification.

Subject Classifications

Subject: Search more titles with this subject
Search more titles with this subject
LC #: QA9.54
Dewey #: 004, 510

Additional Title Details

Key Features
Abstracted or Indexed
Available Online
Electronic-only
Journal Citation Reports
Open Access
Refereed / Peer-reviewed
Website URL
Editors
Andrea Asperti (Editor)
Publishers
Andrea Asperti  *  Universita degli Studi di Bologna (Editor)

Publisher & Ordering Details

Commercial Publisher:

Universita degli Studi di Bologna

Address: Via Zamboni 33, Bologna, 40126 Italy

Website: https://www.unibo.it

Corporate Author:

Universita degli Studi di Bologna

Address: Via Zamboni 33, Bologna, 40126 Italy

Website: https://www.unibo.it

Price Data

Free

Online Availability

Full Text Sources
  • BACON (Base de Connaissance Nationale)
    • BACON - Mir@bel - GLOBAL_LIBRESACCES, 2008-
    • Bacon Ebsco Couperin Academic Search Ultimate Asn, 2014-2020
  • Directory of Open Access Journals
    • DOAJ - Bibliosan, 01/01/2008-
  • EBSCOhost
    • Academic Search Ultimate, 01/01/2014-01/31/2020
    • EBSCOhost - Bibliosan, 01/01/2008-
    • EBSCOhost Mathematics Source - HOST, 01/01/2014-01/31/2020
  • HEAL Link
    • Hellenic Academic Libraries Link, 2008-
  • Ingenta
    • IngentaConnect, 2008-2016
    • IngentaConnect Journals, 2008-2016
  • ISSN International Centre
    • ROAD: Directory of Open Access Scholarly Resources, 2008-
  • NII
    • JUSTICE Collections: ProQuest: ProQuest Central Premium 2026, 01/01/2008-01/31/2020
  • ProQuest
    • Advanced Technologies & Aerospace Database, 01/01/2008-01/31/2020
    • Advanced Technologies & Computer Science Collection, 01/01/2008-01/31/2020
    • Continental Europe Database, 01/01/2008-01/31/2020
    • ProQuest Central, 01/01/2008-01/31/2020
    • ProQuest Central (Alumni Edition), 01/01/2008-01/31/2020
    • ProQuest Central Premium, 01/01/2008-01/31/2020
    • ProQuest Central Premium Korea, 01/01/2008-01/31/2020
    • ProQuest Central UK/Ireland, 01/01/2008-01/31/2020
    • ProQuest One Academic, 01/01/2008-01/31/2020
    • ProQuest One Academic (New), 01/01/2008-01/31/2020
    • ProQuest One Academic Middle East (New), 01/01/2008-01/31/2020
    • ProQuest One Applied & Life Sciences, 01/01/2008-01/31/2020
    • ProQuest One Community College, 01/01/2008-01/31/2020
    • ProQuest One Community College (new), 01/01/2008-01/31/2020
    • Publicly Available Content Database, 01/01/2008-01/31/2020
    • SciTech Premium Collection, 01/01/2008-01/31/2020
    • Technology Collection, 01/01/2008-01/31/2020
  • Universitätsbibliothek Regensburg
    • Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals, 2008-
  • 中国教育图书进出口有限公司 (CEPIEC - China Educational Publications Import & Export Corporation Ltd.)
    • Socolar, 2008-2011

    Abstracting & Indexing

    Abstracting & Indexing Databases
  • American Mathematical Society
  • Clarivate
  • EBSCOhost
  • Elsevier BV
  • ProQuest
  • Springer