Jacques Calmet (calmet)

Contributions to Philosophie.ch

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.
Calmet, Jacques, Campbell, John A. and Pfalzgraf, Jochen, eds. 1996. Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISC-3, Steyr, Austria, September 23-25, 1996, Proceedings. Berlin: Springer.
Calmet, Jacques and Plaza, Jan, eds. 1998. Artificial Intelligence and Symbolic Computation: Proceedings of AISC’98. Berlin: Springer.