Imparare a tradurre dagli esempi di traduzione forniti da contributi umani.
Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.
* matiyasevich theorem on scholarpedia.
* matiyasevich theorem on scholarpedia .
Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:
=== 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.
Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:
Attenzione: contiene formattazione HTML nascosta
* 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.
Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:
Attenzione: contiene formattazione HTML nascosta