1
Kérwá
comunicación de congreso
Local divisibility and model completeness of a theory of real closed rings
由 Guier Acosta, Jorge Ignacio
出版 2021
机构: Universidad de Costa Rica
Repositorio: Kérwá
加到收藏夹
Guardado en:
2
Kérwá
artículo preliminar
Elimination of quantifiers of a theory of real closed rings.
由 Guier Acosta, Jorge Ignacio
出版 2022
机构: Universidad de Costa Rica
Repositorio: Kérwá
加到收藏夹
Guardado en:
检索工具: 得到RSS订阅 — 推荐此搜索 —