Kovacs, Daniela
6  Ergebnisse:
Personensuche X
?
2

MCSat-Based Finite Field Reasoning in the Yices2 SMT Solver..:

, In: Automated Reasoning; Lecture Notes in Computer Science,
Hader, Thomas ; Kaufmann, Daniela ; Irfan, Ahmed.. - p. 386-395 , 2024
 
?
 
?
5

Neural Network adaptability from 2D to 3D Chess:

, In: 2019 IEEE 13th International Symposium on Applied Computational Intelligence and Informatics (SACI),
 
?
6

List of Contributors:

, In: Diet and Nutrition in Dementia and Cognitive Decline,
 
1-6