Publications
Publicações em português
Obs.: Clique no nome do artigo para acessar o texto completo do mesmo.
- NETO, Adolfo. KEMS - Um demonstrador de teoremas multi-estratégia. Anais do FREEBASE 2010 - WORKSHOP DE SOFTWARE LIVRE BAHIA-ALAGOAS-SERGIPE. Maceió-AL, 2010.
- Links para os sites do evento:
page revision: 8, last edited: 19 Apr 2010 17:58