2,845 followers
RT @Jose_A_Alonso: An empirical assessment of progress in automated theorem proving. ~ Geoff Sutcliffe et als. https://t.co/BSjqctOA9q #ATP
Automated Reasoning
Springer Nature Switzerland
149 followers
RT @Jose_A_Alonso: An empirical assessment of progress in automated theorem proving. ~ Geoff Sutcliffe et als. https://t.co/BSjqctOA9q #ATP
1,631 followers
RT @Jose_A_Alonso: An empirical assessment of progress in automated theorem proving. ~ Geoff Sutcliffe et als. https://t.co/BSjqctOA9q #ATP
1,860 followers
RT @Jose_A_Alonso: An empirical assessment of progress in automated theorem proving. ~ Geoff Sutcliffe et als. https://t.co/BSjqctOA9q #ATP