Search results for: Peter Wirth
Lecture Notes in Computer Science > Mechanizing Mathematical Reasoning > Logic and Deduction > 192-203
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Contributed Research Papers > 293-307
German Annual of Spatial Research and Policy > Guiding Principles for Spatial Development in Germany > 1-22
Annals of Mathematics and Artificial Intelligence > 2016 > 78 > 3-4 > 205-258
KI - Künstliche Intelligenz > 2015 > 29 > 3 > 271-277
Raumforschung und Raumordnung - Spatial Research and Planning > 2014 > 72 > 6 > 463-475
Journal of Symbolic Computation > 2012 > 47 > 9 > 1109-1135
Raumforschung und Raumordnung - Spatial Research and Planning > 2012 > 70 > 4 > 363-375
Logica Universalis > 2012 > 6 > 3-4 > 485-520
Energy Procedia > 2012 > 30 > Complete > 601-610
Journal of Symbolic Computation > 2009 > 44 > 1 > 60-98
Journal of Applied Logic > 2008 > 6 > 3 > 287-317
Gastroenterology > 2000 > 118 > 1 > 48-59
Gastroenterology > 1999 > 116 > 1 > 90-96
FEBS Letters > 1985 > 187 > 2 > 280-282