![]() |

dr
Roman Matuszewski
Sign in to see more.
Overview
Interests
Controlled language. Computer oriented formalization of mathematics. Logic, artificial intelligence.
Courses coordinated
2018 - (in Polish) Nowe technologie w humanistyce 0500-FS2-1NTH
2020 - (in Polish) Nowe technologie w humanistyce 410-FS2-1NTH