Theiss, Frank
28  Ergebnisse:
Personensuche X
?
2

The Higher-Order Prover Leo-II:

Benzmüller, Christoph ; Sultana, Nik ; Paulson, Lawrence C..
Journal of Automated Reasoning.  55 (2015)  4 - p. 389-404 , 2015
 
?
3

The Higher-Order Prover Leo-II:

Benzmüller, Christoph ; Sultana, Nik ; Paulson, Lawrence C.
https://www.repository.cam.ac.uk/handle/1810/249011.  , 2015
 
?
4

Spin Dynamics of Flavoproteins:

Matysik, Jörg ; Gerhards, Luca ; Theiss, Tobias...
International Journal of Molecular Sciences.  24 (2023)  9 - p. 8218 , 2023
 
?
 
?
 
?
13

The Ability of MRI to Predict Failure of Nonoperative Treat..:

Hodges, Frank S. ; McAtee, Scott ; Kirkpatrick, John S..
Journal of Spinal Disorders & Techniques.  19 (2006)  8 - p. 566-570 , 2006
 
1-15