Statistics
Publications
3
Citations
97
H-Index
3
Active since
1966
Affiliations
Oxford Research Group(Current)
Trevor Vickers is an author at Oxford Research Group specializing in computer science, computing, and refinement checking.
Publications per year
1966–1990
3
3
Computer Augmentation of Human Reasoning
Trevor Vickers · Physics Bulletin · 1966 · 53 citations
1–3 of 3