Tradução automática das demonstrações do Prover9

Registro completo de metadados
MetadadosDescriçãoIdioma
Autor(es): dc.contributorAraújo, João-
Autor(es): dc.creatorDuarte, José Manuel da Costa-
Data de aceite: dc.date.accessioned2019-08-21T16:57:52Z-
Data de disponibilização: dc.date.available2019-08-21T16:57:52Z-
Data de envio: dc.date.issued2012-09-18-
Data de envio: dc.date.issued2012-09-18-
Data de envio: dc.date.issued2011-
Fonte completa do material: dc.identifierhttp://hdl.handle.net/10400.2/2169-
Fonte: dc.identifier.urihttp://educapes.capes.gov.br/handle/10400.2/2169-
Descrição: dc.descriptionDissertação de Mestrado em Estatística, Matemática e Computação apresentada à Universidade Aberta-
Idioma: dc.languagept_BR-
Direitos: dc.rightsrestrictedAccess-
Palavras-chave: dc.subjectMatemática-
Palavras-chave: dc.subjectComputação-
Palavras-chave: dc.subjectProgramas de computador-
Título: dc.titleTradução automática das demonstrações do Prover9-
Tipo de arquivo: dc.typelivro digital-
Aparece nas coleções:Repositório Aberto - Universidade Aberta (Portugal)

Não existem arquivos associados a este item.