Publication:5458159

From MaRDI portal
Revision as of 11:53, 9 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


zbMath1137.03016MaRDI QIDQ5458159

Andreas Weber

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