来自专业的译者、企业、网页和免费的翻译库。
* 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格式