Andreas Lackner
Dipl.-Ing. / BSc
Role
-
PreDoc Researcher
Security and Privacy, E192-06
Publications
-
Non-Linear reasoning in the superposition calculus
/
Lackner, A. (2022). Non-Linear reasoning in the superposition calculus [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.90765
Download: PDF (734 KB)