P.G. Bertoli

Bibliography

Bertoli, P. G., Calmet, Jacques, Giunchiglia, Fausto and Homann, Karl. 1998. “Specification and Integration of Theorem Provers and Computer Algebra Systems.” in Artificial Intelligence and Symbolic Computation: Proceedings of AISC’98, edited by Jacques Calmet and Jan Plaza, pp. 94–106. Berlin: Springer.