Automated Reasoning

Overview of attention for book

Automated Reasoning

Springer Nature Switzerland

Attention for Chapter: An Empirical Assessment of Progress in Automated Theorem Proving

Altmetric Badge

Mentioned by

So far, Altmetric has seen 5 X posts from 5 X users, with an upper bound of 8,876 followers.

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

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity, including 1 additional X posts.