Paper Info
Title
A Pipeline for Supervised Formal Definition Generation.
Year
Venue
DocType
2014
YSIP
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
1
Name
Order
Citations
PageRank
Alina Petrova194.29