Paper Info
Title
Proof planning Non-standard Analysis.
Year
Venue
Keywords
2002
AMAI
standard model
DocType
Citations 
PageRank 
Conference
4
1.09
References 
Authors
8
3
Name
Order
Citations
PageRank
Ewen Maclean172.26
Jacques D. Fleuriot2176594.31
Alan Smaill385486.81