Search for persons
X
?
Automated Reasoning; Lecture Notes in Computer Science ,
2
MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver..:
, In:
?
Digitale Lehre nachhaltig gestalten. ,
3
Nachhaltige Effekte aus der COVID-bedingten Online-Lehre?! ..:
, In:
?
2019 IEEE 13th International Symposium on Applied Computational Intelligence and Informatics (SACI) ,
5