Author:
Melis Erica,Pollet Martin,Siekmann Jörg
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Bartle, R.G., Sherbert, D.R.: Introduction to Real Analysis. John Wiley & Sons, New York (1982)
2. LNAI;M.J. Beeson,1998
3. Beeson, M.J.: Automatic generation of a proof of the irrationality of e. Journal of Symbolic Computation 32(4), 333–349 (2001)
4. Bledsoe, W.W.: Non-resolution theorem proving. Artificial Intelligence 9, 1–35 (1977)
5. Lecture Notes in Computer Science;A. Bundy,1988