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.
X Demographics
Mendeley readers
| Chapter title |
The Imandra Automated Reasoning System (System Description)
|
|---|---|
| Chapter number | 30 |
| Book title |
Automated Reasoning
|
| Published in |
Automated Reasoning, July 2020
|
| DOI | 10.1007/978-3-030-51054-1_30 |
| Book ISBNs |
978-3-03-051053-4, 978-3-03-051054-1
|
| Authors |
Grant Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto, Passmore, Grant, Cruanes, Simon, Ignatovich, Denis, Aitken, Dave, Bray, Matt, Kagan, Elijah, Kanishev, Kostya, Maclean, Ewen, Mometto, Nicola |
X Demographics
The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
Geographical breakdown
| Country | Count | As % |
|---|---|---|
| United States | 1 | 50% |
| Unknown | 1 | 50% |
Demographic breakdown
| Type | Count | As % |
|---|---|---|
| Members of the public | 2 | 100% |
Mendeley readers
The data shown below were compiled from readership statistics for 7 Mendeley readers of this research output. Click here to see the associated Mendeley record.
Geographical breakdown
| Country | Count | As % |
|---|---|---|
| Unknown | 7 | 100% |
Demographic breakdown
| Readers by professional status | Count | As % |
|---|---|---|
| Researcher | 2 | 29% |
| Student > Ph. D. Student | 1 | 14% |
| Student > Postgraduate | 1 | 14% |
| Unknown | 3 | 43% |
| Readers by discipline | Count | As % |
|---|---|---|
| Computer Science | 3 | 43% |
| Pharmacology, Toxicology and Pharmaceutical Science | 1 | 14% |
| Engineering | 1 | 14% |
| Unknown | 2 | 29% |