Search results for 'Ortrun Ibens' (try it on Scholar)

5 found
Order:
  1.  24
    Ortrun Ibens (2002). Connection Tableau Calculi with Disjunctive Constraints. Studia Logica 70 (2):241 - 270.
    Automated theorem proving amounts to solving search problems in usually tremendous search spaces. A lot of research therefore focuses on search space reductions. Our approach reduces the search space which arises when using so-called connection tableau calculi for first-order automated theorem proving. It uses disjunctive constraints over first-order equations to compress certain parts of this search space. We present the basics of our constrained-connection-tableau calculi, a constraint extension of connection tableau calculi, and deal with the efficient handling of constraints during (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  2. Dieter Birnbacher (1995). Ortrun Schulz, Wille und Intellekt bei Schopenhauer und Spinoza. Schopenhauer Jahrbuch:221-224.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  3.  2
    Ortrun Riha (1996). Jahre Karl-Sudhoff-Institut an der Universität Leipzig. NTM International Journal of History and Ethics of Natural Sciences, Technology and Medicine 4 (1):269-270.
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  4.  2
    Ortrun Riha (2001). Diät für die Seele. Das Erfolgsrezept von HufelandsMakrobiotik. NTM International Journal of History and Ethics of Natural Sciences, Technology and Medicine 9 (2):80-89.
    Why was Hufeland’s work on Macrobiotics so successful? It can neither keep its promise to prolong people’s lives nor does it contain any new information (the proposals are indeed most traditional). The article suggests a double answer: Looking back to antiquity was fashionable at the time, and Hufeland managed to combine classical elements with the late 18th century discourse. Second, Hufeland’s point was the holeness of human existence. In his eyes, health is not only a question of the body, but (...)
    Translate
      Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  5. Ortrun H. Daniel (2011). Thomas Brunotte, Reine Wirklichkeit und Kosmos: Eine Analyse naturphilosophischer Konzepte im Hinblick auf das erste Prinzip bei Aristoteles. Philosophisches Jahrbuch 118 (2):432.
    Translate
     
     
    Export citation  
     
    My bibliography