Journal of Formalized Reasoning (Italy)
Keywords: Analytic mechanics; Electronic computers. Computer science | Science; Instruments and machines; Mathematics; Mathematics; Science