Search results for: Peter Wirth
The Breast Journal > 26 > 12 > 2341 - 2349
The Breast Journal > 26 > 9 > 1702 - 1711
The Breast Journal > 26 > 3 > 376 - 383
BJU International > 124 > 5 > 738 - 745
International Journal of Coal Science & Technology > 2018 > 5 > 1 > 78-91
Journal of Neuroscience Methods > 2017 > 290 > C > 133-144
World Journal of Urology > 2017 > 35 > 10 > 1541-1547
Raumforschung und Raumordnung - Spatial Research and Planning > 2017 > 75 > 4 > 389-398
Journal of Rural Studies > 2016 > 47 > PA > 62-75
Utilities Policy > 2016 > 41 > C > 206-213
Lecture Notes in Computer Science > Mathematical Knowledge Management > Session IV: Proving > 126-142
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 298-314
Lecture Notes in Computer Science > Automated Deduction in Classical and Non-Classical Logics > Contributed Papers > 282-297
Lecture Notes in Computer Science > Automated Deduction – CADE-19 > Session 11: System Descriptions > 328-333
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Logic and Deduction > 192-203