confirm upload
cancel upload
☼de

199.107 - Non-monotonic Extension of Temporal Logic (VU 3.0ECTS)
Steininger, Andreas
2023S
Steininger, Andreas
Eiter, Thomas
Ciabattoni, Agata

E199 Services Informatics