Navegar

Colección

Datos Estadísticas

Lista de

2012
1374
Mathematical Logic Quarterly
1
"Quantifier elimination for elementary geometry and elementary affine geometry" (2012) Grimson, R.; Kuijpers, B.; Othman, W. Mathematical Logic Quarterly. 58(6):399-416