Sistemas usado en "Razonamiento automático" (2004-05)

• Otter y MACE
• Jape
• PVS

[ Inicial | Temas | Documentación | Sistemas ]