Wissenschaftszweige
- 101013 Mathematische Logik
- 101001 Algebra
- 101012 Kombinatorik
- 101020 Technische Mathematik
- 101 Mathematik
- 101009 Geometrie
- 101005 Computeralgebra
Combining Logical and Algebraic Techniques for Natural Style Proving in Elementary Analysis
- R. Vajda (Vortragende*r)
- Jebelean, T. (Vortragende*r)
Aktivität: Vortrag oder Präsentation › Anderer Vortrag oder Präsentation › unbekannt