Este documento se publica para el V congreso de HispaLinux. Se otorga permiso para copiar, distribuir y/o modificarlo
bajo los términos de la Licencia de Documentación Libre GNU, Versión 1.1 o cualquier otra versión posterior
publicada por la Free Software Foundation, no habiendo Secciones Invariantes. Puede consultar una copia de la
licencia en: http://www.gnu.org/copyleft/fdl...
24 visualizaciones durante los últimos 90 días
2
0
Teoría computacional (en ACL2) sobre cálculos proposicionales
El costo total de propiedad de Linux en la empresa
24 visualizaciones durante los últimos 90 días