Gudmund Grov (School of Mathematical

Identifiers

• name variant Gudmund Grov (School of Mathematical 0.60 · backfill

Papers (1)

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