Journal of Formalized Reasoning

• Format: journal
• Language: English
• Published: University of Bologna 2009
• Subjects: formalization; verification; checking; reasoning; Electronic computers. Computer science; QA75.5-76.95; Analytic mechanics; QA801-939