000 00581nam a2200205Ia 4500
008 240729s9999 xx 000 0 und d
022 _a1972-5787
245 0 _aJournal of Formalized Reasoning
260 _aItaly
260 _bUniversity of Bologna
650 _a Analytic mechanics
650 _a Electronic computers. Computer science | Science
650 _a Instruments and machines
650 _a Mathematics
650 _a Mathematics
650 _aScience
856 _uhttps://doaj.org/toc/51ad357b11f94b63940db561a3735fc0
942 _2ddc
942 _cDOAJEJ
999 _c71183
_d71183
945 _a1
_bMadushi Gamage
_c1
_dMadushi Gamage