Fields of science
- 101013 Mathematical logic
- 101001 Algebra
- 101012 Combinatorics
- 101 Mathematics
- 101009 Geometry
- 101005 Computer algebra
JKU Focus areas
- Computation in Informatics and Mathematics
IJCAR Workshop on Automated Theory eXploration, ATX 2012 (Event)
- Jacques Fleuriot (Member)
- Tim Griffin (Member)
- Peter Höfner (Member)
- Joe Hurd (Member)
- Kutsia, T. (Member)
- R. McCasland (Member)
- Annabelle McIver (Member)
- Stephan Merz (Member)
- Petros Papapanagiotou (Member)
- Alan Smaill (Member)
- David Stanovsky (Member)
- Georg Struth (Member)
- Josef Urban (Member)
Activity: Membership/Function › Program committee