Automated Natural Deduction in Thinker
- 期刊名称Studia Logica
- 作者Francis Jeffry Pelletier
- 卷第60卷
- 期第1期
- 印刷ISSN0039-3215
- 电子ISSN1572-8730
- 文件大小2367.93KB
- 发表时间1998-01
- DOI10.1023/a:1005035316026
- 页码3-43
Diffuse Unilateral Subacute Neuroretinitis Caused by <i>Ancylostoma</i> HookwormPoppert, Sven; Heideking, Martin; Agostini, Hansjürgen; Fritzenwanker, Moritz; Wüppenhorst, Nicole; Muntau, Birgit; Henneke, Philipp; Kern, Winfried; Krücken, Jürgen; Junker, Bernd; Hufnagel, Markus · Emerging Infectious Diseases · 2017
REACH und InnovationenBernd Hansjürgens; Ralf Nordbeck · 2007
Risk Habitat Megacity ||Heinrichs, Dirk; Krellenberg, Kerstin; Hansjürgens, Bernd; Martínez, Francisco · 2012
Climate Adaptation Santiago ||Krellenberg, Kerstin; Hansjürgens, Bernd · 2014
Ökonomische Bewertung des NaturkapitalsHansjürgens, Bernd; Moesenfechtel, Urs · Wirtschaftsdienst · 2014
Economics and Management of Climate Change ||Hansjürgens, Bernd; Antes, Ralf · 2008
Zu Reformoptionen der GemeindefinanzenDöring, Thomas; Hansjürgens, Bernd; Hey, Johanna; Donges, Juergen B. · Zeitschrift für Wirtschaftspolitik · 2003
Assessment and Governance of Sustainable Soil ManagementHelming, Katharina; Daedlow, Katrin; Hansjürgens, Bernd; Koellner, Thomas · Sustainability · 2018