Обучается переводу с помощью примеров, переведенных людьми.
Добавлены профессиональными переводчиками и компаниями и на основе веб-страниц и открытых баз переводов.
* matiyasevich theorem on scholarpedia.
* matiyasevich theorem on scholarpedia .
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
=== 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.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование
* 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.
Последнее обновление: 2016-03-03
Частота использования: 1
Качество:
Предупреждение: Содержит скрытое HTML-форматирование