D.R.S. (Revantha) Ramanayake, Prof
Assistant Professor
E-mail:
d.r.s.ramanayake rug.nl
Vakgebied
Expertise
Formal logic, non-classical logics (especially substructural and modal logics), proof theory, automated theorem proving, proof assistants
| Laatst gewijzigd: | 31 maart 2025 17:24 |