Zur Hauptnavigation wechseln
Zur Suche wechseln
Zum Hauptinhalt wechseln
JKU & KUK Forschungsportal Home
Hilfe und FAQ
Link wird in einem neuen Tab geöffnet
English
Deutsch
Inhalt suchen unter JKU & KUK Forschungsportal
Home
Forschungseinheiten
Personen
Publikationen
Projekte
Aktivitäten
Forschungsdatensätze
Auszeichnungen
Presseberichte
LogicGuard Meeting
Schreiner, W.
(Sonstige)
et al. (Sonstige)
Institut für Symbolisches Rechnen
Aktivität
:
Sonstige
Zeitraum
12 Jän. 2017
Wissenschaftszweige
101013 Mathematische Logik
101001 Algebra
101012 Kombinatorik
101020 Technische Mathematik
101 Mathematik
101009 Geometrie
101005 Computeralgebra
JKU-Schwerpunkte
Computation in Informatics and Mathematics