KEMS - Um Provador de Teoremas Multi-Estrategia

1,021 views
957 views

Published on

Primeira versão dos slides que serão utilizados na minha defesa de Tese de Doutorado em 30-01-2007

Published in: Technology
0 Comments
2 Likes
Statistics
Notes
  • Be the first to comment

No Downloads
Views
Total views
1,021
On SlideShare
0
From Embeds
0
Number of Embeds
35
Actions
Shares
0
Downloads
0
Comments
0
Likes
2
Embeds 0
No embeds

No notes for slide

×