Wissenschaftszweige
- 101013 Mathematische Logik
- 101001 Algebra
- 101012 Kombinatorik
- 101 Mathematik
- 101009 Geometrie
- 101005 Computeralgebra
JKU-Schwerpunkte
- Computation in Informatics and Mathematics
IJCAR Workshop on Automated Theory eXploration, ATX 2012 (Veranstaltung)
- Jacques Fleuriot (Mitglied)
- Tim Griffin (Mitglied)
- Peter Höfner (Mitglied)
- Joe Hurd (Mitglied)
- Kutsia, T. (Mitglied)
- R. McCasland (Mitglied)
- Annabelle McIver (Mitglied)
- Stephan Merz (Mitglied)
- Petros Papapanagiotou (Mitglied)
- Alan Smaill (Mitglied)
- David Stanovsky (Mitglied)
- Georg Struth (Mitglied)
- Josef Urban (Mitglied)
Aktivität: Mitgliedschaft/Funktion › Programm-Komitee