Congreso sobre interfaces para demostradores de teoremas
El próximo Workshop On User Interfaces for Theorem Provers (UITP’10) se celebrará en Edimburgo el 15 de julio.
La fecha de envío de comunicaciones finaliza el 5 de abril.
El próximo Workshop On User Interfaces for Theorem Provers (UITP’10) se celebrará en Edimburgo el 15 de julio.
La fecha de envío de comunicaciones finaliza el 5 de abril.