Author Info
Name
Affiliation
Papers
J. S. AITKEN
Univ. of Glasgow, Scotland, UK
1
Collaborators
Citations 
PageRank 
3
9
0.94
Referers 
Referees 
References 
22
2
2
Title
Citations
PageRank
Year
Interactive theorem proving: an empirical study of user activity90.941998