Journal of Formalized Reasoning

1972-5787 (Online)

Loading 64 articles

Added 29 April 2009 • Updated 13 August 2020