Werkzeuge für logisches Schließen in der Deontischen Logik und Anwendungen auf heilige indische Schriften

01.05.2017 - 31.10.2022
Research funding project

People

Project leader

Institute

Förderungmittel

  • WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National) Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF) Ausschreibungskennung MA16-028

Research focus

  • Computer Science Foundations: 100%

External partner

  • Ö.A.W.

Publications