Author:
Ganesalingam M.,Gowers W. T.
Publisher
Springer International Publishing
Reference32 articles.
1. Asher, N., & Lascarides, A. (2003). Logics of conversation. Cambridge: Cambridge University Press.
2. Ballantyne, A. M., & Bledsoe, W. W. (1977). Automatic proofs of theorems in analysis using non-standard techniques. Journal of ACM, 24(3), 353–374.
3. Beeson, M. (1998). Automatic generation of epsilon-delta proofs of continuity. In J. Calmet & J. A. Plaza (Eds.), Proceedings of the International Conference on Artificial Intelligence and Symbolic Computation (AISC ’98) (pp. 67–83). London, UK: Springer.
4. Beeson, M. (2001). Automatic derivation of the irrationality of e. Journal of Symbolic Computation, 32(4), 333–349.
5. Bledsoe, W. W. (1971). Splitting and reduction heuristics in automatic theorem proving. Artificial Intelligence, 2(1), 55–77.