contrib/ML4PG/doc/src/ml4pg_manual.bib


1
2
3
4
5
6
7
8
9
10
11
12

@Article{KHG12,
 author = {E. Komendantskaya and J. Heras and G. Grov},
 title = {Machine Learning in Proof General: interfacing interfaces},
  year = {2012},
}


@Article{HK13,
 author = {J. Heras and E. Komendantskaya},
 title = {ML4PG Case studies},
  year = {2013},
}