• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
Início
Português (Brasil)English (United Kingdom)Español(Spanish Formal International)French (Fr)
Biblioteca Digital de Teses e Dissertações da USP
Bem-vindo ao Portal da Biblioteca Digital de Teses e Dissertações da Universidade de São Paulo.
 

Tese de Doutorado

"Um provador de teoremas multi-estratégia"
Seca Neto, Adolfo Gustavo Serra

Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas...

Saiba mais...
Copyright © 2018 Biblioteca Digital de Teses e Dissertações da USP. Todos os direitos reservados.