University of Dundee

Identifiers

• name variant University of Dundee 0.60 · backfill

Papers (1)

1. ACL2(ml): Machine-Learning for ACL2 cs.LO · 2014 · author #2

Mentions

• 1404.3034 #2 · backfill · confidence 0.70 University of Dundee

Frequent Coauthors

• Ekaterina Komendantskaya (School of Computing 1 shared papers
• J\'onathan Heras (School of Computing 1 shared papers
• UK) 1 shared papers