Att försöka lära sig översätta från mänskliga översättningsexempel.
Från professionella översättare, företag, webbsidor och fritt tillgängliga översättningsdatabaser.
* matiyasevich theorem on scholarpedia.
* matiyasevich theorem on scholarpedia .
Senast uppdaterad: 2016-03-03
Användningsfrekvens: 1
Kvalitet:
=== 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.
Senast uppdaterad: 2016-03-03
Användningsfrekvens: 1
Kvalitet:
Varning: Innehåller osynlig HTML-formatering
* 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.
Senast uppdaterad: 2016-03-03
Användningsfrekvens: 1
Kvalitet:
Varning: Innehåller osynlig HTML-formatering