↓ Skip to main content

The Seventeen Provers of the World

Overview of attention for book
Attention for Chapter 18: B Method
Altmetric Badge

Citations

dimensions_citation
47 Dimensions

Readers on

mendeley
36 Mendeley
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.
Chapter title
B Method
Chapter number 18
Book title
The Seventeen Provers of the World
Published in
Lecture notes in computer science, January 2006
DOI 10.1007/11542384_18
Book ISBNs
978-3-54-030704-4, 978-3-54-032888-9
Authors

Dominique Cansell

Editors

Freek Wiedijk

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 36 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Colombia 1 3%
Brazil 1 3%
Unknown 34 94%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 11 31%
Student > Master 6 17%
Researcher 4 11%
Other 3 8%
Professor 3 8%
Other 7 19%
Unknown 2 6%
Readers by discipline Count As %
Agricultural and Biological Sciences 12 33%
Chemistry 7 19%
Engineering 5 14%
Biochemistry, Genetics and Molecular Biology 4 11%
Computer Science 3 8%
Other 2 6%
Unknown 3 8%