Search results for: Andreas Meier
Fusion Engineering and Design > 2017 > 123 > C > 341-344
HMD Praxis der Wirtschaftsinformatik > 2017 > 54 > 4 > 457-458
Intensive Care Medicine > 2017 > 43 > 11 > 1602-1612
Plant Cell, Tissue and Organ Culture (PCTOC) > 2017 > 130 > 1 > 153-165
Fusion Engineering and Design > 2016 > 109-111 > PB > 1232-1236
Lecture Notes in Computer Science > Electronic Government and the Information Systems Perspective > Decision Support Tools > 62-76
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Applications of Logics > 277-296
Lecture Notes in Computer Science > Mathematical Knowledge Management > Session IV: Proving > 143-158
Alzheimer's Research & Therapy > 2016 > 8 > 1 > 1-13