Rath, Jakob
122  Ergebnisse:
Personensuche X
?
1

Clinical heterogeneity within the ALS‐FTD spectrum in a fam..:

Parvizi, Tandis ; Klotz, Sigrid ; Keritam, Omar...
Annals of Clinical and Translational Neurology.  11 (2024)  6 - p. 1579-1589 , 2024
 
?
5

SAT-Based Subsumption Resolution:

, In: Automated Deduction – CADE 29; Lecture Notes in Computer Science,
 
?
 
?
 
?
 
?
15

First-Order Subsumption via SAT Solving:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Rath, Jakob ; Biere, Armin ; Kovacs, Laura - p. 160-169 , 2022
 
1-15