Journal of Formalized Reasoning

• Μορφή: journal
• Γλώσσα: English
• Έκδοση: University of Bologna 2009
• Θέματα: formalization; verification; checking; reasoning; Electronic computers. Computer science; QA75.5-76.95; Analytic mechanics; QA801-939