Search results for: Klaus Schneider
Journal of Applied Toxicology > 42 > 5 > 898 - 912
Journal of Applied Toxicology > 42 > 5 > 913 - 926
Geomechanics and Tunnelling > 12 > 6 > 652 - 660
The FEBS Journal > 285 > 24 > 4602 - 4616
Environmental Toxicology and Chemistry > 35 > 12 > 2916 - 2930
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 385-398
Texts in Theoretical Computer Science. An EATCS Series
Lecture Notes in Computer Science > Theorem Proving in Higher Order Logics > Regular Papers > 314-331