↓ Skip to main content

Automated Deduction – CADE 28

Overview of attention for book
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

news
1 news outlet
twitter
21 X users
wikipedia
6 Wikipedia pages

Citations

dimensions_citation
2 Dimensions