KEMS - Um Provador de Teoremas Multi-Estrategia
•
2 gostaram•391 visualizações
Primeira versão dos slides que serão utilizados na minha defesa de Tese de Doutorado em 30-01-2007
Primeira versão dos slides que serão utilizados na minha defesa de Tese de Doutorado em 30-01-2007