Journal of Formalized Reasoning 

 - Italy  University of Bologna 
<br/><br/><label>ISSN: </label>1972-5787 
<br/><br/><label>Subjects--Topical Terms: </label><br/> Analytic mechanics<br/> Electronic computers. Computer science | Science<br/> Instruments and machines<br/> Mathematics<br/> Mathematics<br/>Science