Author:
Bertoli P.,Cioni G.,Colagrossi A.,Terlizzi P.
Reference7 articles.
1. Beeson, M. J. (1989): Logic and computation in mathpert: an expert system for learning mathematics. In: Kaltofen, E., Watt, S. M. (eds.): Computers and mathematics. Springer, Berlin Heidelberg New York Tokyo, pp. 202–214.
2. Cioni, G., Colagrossi, A., Miola, A. (1992): A desk-top sequent calculus machine. In: Calmet, J., Campbell, J. A. (eds.): Artificial intelligence and symbolic mathematical computation. Springer, Berlin Heidelberg New York Tokyo, pp. 224–236 (Lecture notes in computer science, vol. 737).
3. Cioni, G., Colagrossi, A., Miola, A. (1995): A sequent calculus for symbolic computation systems. J. Symb. Comput. 19: 175–199.
4. Cioni, G., Colagrossi, A., Miola, A. (1997): Deduction and abduction using a sequent calculus. In: Miola, A., Temperini, M. (eds.): Advances in the design of symbolic computation systems. Springer, Wien New York, pp. 198–216 (this volume).
5. Gallier, J. H. (1986): Logic for computer science. Harper and Row, New York.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献