Jacques Calmet (calmet)

Contributions à 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.