Um provador de teoremas multi-estratégia

Detalhes bibliográficos
Autor(a) principal: ALAIR PEREIRA DO LAGO
Data de Publicação: 2007
Tipo de documento: Tese
Título da fonte: Portal de Dados Abertos da CAPES
id BRCRIS_1800003734a41ac0f87de639d321ef68
network_acronym_str CAPES
network_name_str Portal de Dados Abertos da CAPES
dc.title.pt-BR.fl_str_mv Um provador de teoremas multi-estratégia
title Um provador de teoremas multi-estratégia
spellingShingle Um provador de teoremas multi-estratégia
ALAIR PEREIRA DO LAGO
title_short Um provador de teoremas multi-estratégia
title_full Um provador de teoremas multi-estratégia
title_fullStr Um provador de teoremas multi-estratégia
Um provador de teoremas multi-estratégia
title_full_unstemmed Um provador de teoremas multi-estratégia
Um provador de teoremas multi-estratégia
title_sort Um provador de teoremas multi-estratégia
publishDate 2007
format doctoralThesis
author_role author
author ALAIR PEREIRA DO LAGO
author_facet ALAIR PEREIRA DO LAGO
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/3656225530688946
dc.contributor.advisor1.fl_str_mv Marcelo Finger
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/0620986273710878
dc.contributor.advisor1orcid.por.fl_str_mv https://orcid.org/0000-0002-1391-1175
dc.publisher.none.fl_str_mv UNIVERSIDADE DE SÃO PAULO
publisher.none.fl_str_mv UNIVERSIDADE DE SÃO PAULO
instname_str UNIVERSIDADE DE SÃO PAULO
reponame_str Portal de Dados Abertos da CAPES
collection Portal de Dados Abertos da CAPES
spelling CAPESPortal de Dados Abertos da CAPESUm provador de teoremas multi-estratégiaUm provador de teoremas multi-estratégiaUm provador de teoremas multi-estratégiaUm provador de teoremas multi-estratégiaUm provador de teoremas multi-estratégiaUm provador de teoremas multi-estratégiaUm provador de teoremas multi-estratégia2007doctoralThesisauthorALAIR PEREIRA DO LAGOhttp://lattes.cnpq.br/3656225530688946Marcelo Fingerhttp://lattes.cnpq.br/0620986273710878https://orcid.org/0000-0002-1391-1175UNIVERSIDADE DE SÃO PAULOUNIVERSIDADE DE SÃO PAULOUNIVERSIDADE DE SÃO PAULOPortal de Dados Abertos da CAPESPortal de Dados Abertos da CAPES
identifier_str_mv LAGO, ALAIR PEREIRA DO. Um provador de teoremas multi-estratégia. 2007. Tese.
dc.identifier.citation.fl_str_mv LAGO, ALAIR PEREIRA DO. Um provador de teoremas multi-estratégia. 2007. Tese.
_version_ 1741890139328610304

Registros relacionados