Automated Deduction – CADE 28
Springer International Publishing
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 |
Country | Count | As % |
---|---|---|
United States | 5 | 21% |
Japan | 3 | 13% |
Australia | 1 | 4% |
Brazil | 1 | 4% |
Germany | 1 | 4% |
Mexico | 1 | 4% |
Spain | 1 | 4% |
Dominican Republic | 1 | 4% |
Unknown | 10 | 42% |
Type | Count | As % |
---|---|---|
Members of the public | 18 | 75% |
Scientists | 6 | 25% |