↓ 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
3 Wikipedia pages

Citations

dimensions_citation
1 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Automated Deduction – CADE 28
Published by
Springer International Publishing, January 2021
DOI 10.1007/978-3-030-79876-5
ISBNs
978-3-03-079875-8, 978-3-03-079876-5
Editors

André Platzer, Geoff Sutcliffe

X Demographics

X Demographics

The data shown below were collected from the profiles of 21 X users who shared this research output. Click here to find out more about how the information was compiled.