Home
  1. Journal of Formalized Reasoning

    Publisher: Università di Bologna
    ISSN: 1972-5787
    Availability: 2008-present

    See more journals in Mathematics and Statistics, Technology and Engineering.