Publication:5458159
From MaRDI portal
zbMath1137.03016MaRDI QIDQ5458159
Publication date: 11 April 2008
92D30: Epidemiology
68W30: Symbolic computation and algebraic computation
12L12: Model theory of fields
03C10: Quantifier elimination, model completeness, and related topics
Related Items
Uses Software