A partir de tradutores profissionais, empresas, páginas da web e repositórios de traduções disponíveis gratuitamente
despadronizar
semi-structured
Última atualização: 2012-11-27
Frequência de uso: 1
Qualidade:
ele faz uso de modelos contáveis despadronizados da aritmética de peano.
it makes use of countable nonstandard models of peano arithmetic.
Última atualização: 2016-03-03
Frequência de uso: 1
Qualidade: