Cette page en françaisQuesta pagina in italianoThis page in English
Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://www.philosophie.ch/profil/heocque-l

Laurent Heocque

Bibliography

    Benhamou, Belaid and Heocque, Laurent. 1998. “Finite Model Search for Equational Theories (FMSET).” in Artificial Intelligence and Symbolic Computation: Proceedings of AISC’98, edited by Jacques Calmet and Jan Plaza, pp. 84–93. Berlin: Springer.