Automated Deduction – CADE 26
Springer, Cham
Title |
Automated Deduction – CADE 26
|
---|---|
Published by |
Springer, Cham, January 2017
|
DOI | 10.1007/978-3-319-63046-5 |
ISBNs |
978-3-31-963045-8, 978-3-31-963046-5
|
Editors |
Leonardo de Moura |
Country | Count | As % |
---|---|---|
United Kingdom | 4 | 16% |
United States | 2 | 8% |
Japan | 1 | 4% |
Canada | 1 | 4% |
India | 1 | 4% |
Germany | 1 | 4% |
Turkey | 1 | 4% |
Spain | 1 | 4% |
Unknown | 13 | 52% |
Type | Count | As % |
---|---|---|
Members of the public | 17 | 68% |
Scientists | 7 | 28% |
Science communicators (journalists, bloggers, editors) | 1 | 4% |
Country | Count | As % |
---|---|---|
Unknown | 4 | 100% |
Readers by professional status | Count | As % |
---|---|---|
Student > Ph. D. Student | 2 | 50% |
Student > Bachelor | 1 | 25% |
Unknown | 1 | 25% |
Readers by discipline | Count | As % |
---|---|---|
Computer Science | 3 | 75% |
Unknown | 1 | 25% |