Články s príkazom na verejný prístup - Wolfgang GrieskampĎalšie informácie
Dostupné niekde: 1
Reasoning About Vectors: Satisfiability Modulo a Theory of Sequences
Y Sheng, A Nötzli, A Reynolds, Y Zohar, D Dill, W Grieskamp, J Park, ...
Journal of automated reasoning 67 (3), 32, 2023
Príkazy: US National Science Foundation
Informácie o zverejnení a financovaní sú automaticky vyberané počítačovým programom