Vocabulário Controlado da USP
Início
Minha conta
×
Close
Login
Acessar
E-mail
Senha
Enviar
Perdeu sua senha?
Pesquisa avançada
Equipe
Equipe atual
Equipes anteriores
Equipe de implementação
Sobre...
PROVA AUTOMÁTICA DE TEOREMAS
Início
ASSUNTOS
CIÊNCIAS EXATAS APLICADAS
CIÊNCIA DA COMPUTAÇÃO
INTELIGÊNCIA ARTIFICIAL
PROVA AUTOMÁTICA DE TEOREMAS
Termo
Metadados
PROVA AUTOMÁTICA DE TEOREMAS
Termos gerais
TG
INTELIGÊNCIA ARTIFICIAL
Data de criação
01-Out-2001
Modificacão
01-Out-2001
Termo aceito
01-Out-2001
Termos descendentes
0
Termos específicos
0
Termos alternativos
0
Termos relacionados
0
Notas
0
Metadados
BS8723-5
DC
MADS
SKOS-Core
VDEX
XTM
Zthes
JSON
JSON-LD
Busca
Desenvolvido usando TemaTres 2.1