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
RT @Jose_A_Alonso: An empirical assessment of progress in automated theorem proving. ~ Geoff Sutcliffe et als. https://t.co/BSjqctOA9q #ATP
RT @Jose_A_Alonso: An empirical assessment of progress in automated theorem proving. ~ Geoff Sutcliffe et als. https://t.co/BSjqctOA9q #ATP
RT @Jose_A_Alonso: An empirical assessment of progress in automated theorem proving. ~ Geoff Sutcliffe et als. https://t.co/BSjqctOA9q #ATP
RT @Jose_A_Alonso: An empirical assessment of progress in automated theorem proving. ~ Geoff Sutcliffe et als. https://t.co/BSjqctOA9q #ATP