Herramientas‎ > ‎

Herramienta THeM

Herramienta para trabajar con Modelos de Herbrand

(descomprimir el archivo THeM.rar y en la carpeta THeM se encuentra el archivo ejecutable THeM.exe)
ċ
THeM.rar
(8195k)
Ciencias de la Computación II,
12 may. 2015 4:49
Comments