TY  - BOOK
TI  - Journal of Formalized Reasoning
SN  - 1972-5787
CY  - Italy
KW  -  Analytic mechanics
KW  -  Electronic computers. Computer science | Science
KW  -  Instruments and machines
KW  -  Mathematics
KW  - Science
UR  - https://doaj.org/toc/51ad357b11f94b63940db561a3735fc0
ER  -