THEO : an interactive proof development systemReportar como inadecuado




THEO : an interactive proof development system - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 CROAP - Design and Implementation of Programming Tools CRISAM - Inria Sophia Antipolis - Méditerranée

Résumé : Disponible dans les fichiers attachés à ce document.





Autor: Joelle Despeyroux -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados