Gudmund Grov (School of Mathematical
Identifiers
- name variant Gudmund Grov (School of Mathematical 0.60 · backfill
Papers (1)
- Machine Learning in Proof General: Interfacing Interfaces cs.AI · 2012 · author #5
Mentions
- 1212.3618 #5 · backfill · confidence 0.70 Gudmund Grov (School of Mathematical
Frequent Coauthors
- Computer Sciences 1 shared papers
- Ekaterina Komendantskaya (School of Computing 1 shared papers
- Heriot-Watt University) 1 shared papers
- J\'onathan Heras (School of Computing 1 shared papers
- University of Dundee) 1 shared papers