Aprendiendo a traducir con los ejemplos de traducciones humanas.
De traductores profesionales, empresas, páginas web y repositorios de traducción de libre uso.
* matiyasevich theorem on scholarpedia.
* matiyasevich theorem on scholarpedia .
Última actualización: 2016-03-03
Frecuencia de uso: 1
Calidad:
=== papers ===* yuri matiyasevich, "proof procedures as bases for metamathematical proofs in discrete mathematics", personal journal of yury matiyasevich.
* yuri matiyasevich, proof procedures as bases for metamathematical proofs in discrete mathematics, personal journal of yury matiyasevich.
Última actualización: 2016-03-03
Frecuencia de uso: 1
Calidad:
Advertencia: contiene formato HTML invisible
* yuri matiyasevich, "elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula", personal journal of yuri matiyasevich.
* yuri matiyasevich, elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula, personal journal of yuri matiyasevich.
Última actualización: 2016-03-03
Frecuencia de uso: 1
Calidad:
Advertencia: contiene formato HTML invisible