Automatic analysis of proof in a computer-based environment
Résumé
no abstract
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Denis Bouhineau : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00948780
Soumis le : mardi 18 février 2014-16:23:07
Dernière modification le : jeudi 4 avril 2024-21:35:16