Skip to main navigation
Skip to search
Skip to main content
JKU & KUK Research Portal Home
Help & FAQ
Link opens in a new tab
English
Deutsch
Search content at JKU & KUK Research Portal
Home
Research units
Profiles
Research output
Projects
Activities
Datasets
Prizes
Press/Media
Erasmus + teaching staff mobility: Automated reasoning
Kutsia, T.
(Visiting person)
Research Institute for Symbolic Computation
Activity
:
Other
›
Outgoing (legacy data)
Description
West Universtiy, Timisoara, Rumänien
Period
10 Jun 2019
→
16 Jun 2019
Fields of science
101013 Mathematical logic
101001 Algebra
101012 Combinatorics
101020 Technical mathematics
101 Mathematics
101009 Geometry
101005 Computer algebra
JKU Focus areas
Digital Transformation