Search results for: Tom Schubert
Angewandte Chemie > 133 > 9 > 4982 - 4990
Angewandte Chemie International Edition > 60 > 9 > 4931 - 4938
Angewandte Chemie > 133 > 9 > 4429 - 4429
Angewandte Chemie International Edition > 60 > 9 > 4381 - 4381
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 308-323