Search results for: D. Korn
Cytoskeleton > 77 > 8 > C1 - C1
Cytoskeleton > 77 > 8 > 295 - 302
Lecture Notes in Computer Science > Design and Implementation of Symbolic Computation Systems > 1-21
Lecture Notes in Computer Science > Theorem Proving with Analytic Tableaux and Related Methods > 1-16
Cytoskeleton > 73 > 2 > 68 - 82
Acta Palaeontologica Polonica > 2016 > 61 > 1
Acta Palaeontologica Polonica > 2015 > 60 > 4
Der Nervenarzt > 2015 > 86 > 5 > 637-648
Journal of Lightwave Technology > 2014 > 32 > 4 > 760 - 765