Results for 'Hans Kleine Buning'

1000+ found
Order:
  1.  22
    Hans Kleine Buning and Theodor Lettmann, Propositional Logic: Deduction and Algorithms. [REVIEW]Hans Kleine Buning & Theodor Lettmann - 2002 - Studia Logica 71 (2):247-258.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  6
    Durch syntaktische rekursion definierte Klassen.Hans Kleine Büning - 1983 - Mathematical Logic Quarterly 29 (3):169-175.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  5
    Note on the E 1*‐E 2* Problem.Hans Kleine Büning - 1982 - Mathematical Logic Quarterly 28 (19):277-284.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  23
    Note on theE1*-E2* Problem.Hans Kleine Büning - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (19):277-284.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  13
    First‐Order Formulas in Conjunctive Quantificational Form.Hans Kleine Büning & Theodor Lettmann - 1988 - Mathematical Logic Quarterly 34 (1):53-64.
  6.  22
    First-Order Formulas in Conjunctive Quantificational Form.Hans Kleine Büning & Theodor Lettmann - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (1):53-64.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  28
    The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set.Egon Börger & Hans Kleine Büning - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (28-30):459-469.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8.  14
    Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers.Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini & Michael M. Richter - 1993 - Springer Verlag.
    This workshop on stochastic theory and adaptive control assembled many of the leading researchers on stochastic control and stochastic adaptive control to increase scientific exchange and cooperative research between these two subfields of stochastic analysis. The papers included in the proceedings include survey and research. They describe both theoretical results and applications of adaptive control. There are theoretical results in identification, filtering, control, adaptive control and various other related topics. Some applications to manufacturing systems, queues, networks, medicine and other topics (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  7
    Computer Science Logic 5th Workshop, Csl '91, Berne, Switzerland, October 7-11, 1991 : Proceedings'.Egon Börger, Gerhard Jäger, Hans Kleine Büning & Michael M. Richter - 1992 - Springer Verlag.
    This volume presents the proceedings of the workshop CSL '91 (Computer Science Logic) held at the University of Berne, Switzerland, October 7-11, 1991. This was the fifth in a series of annual workshops on computer sciencelogic (the first four are recorded in LNCS volumes 329, 385, 440, and 533). The volume contains 33 invited and selected papers on a variety of logical topics in computer science, including abstract datatypes, bounded theories, complexity results, cut elimination, denotational semantics, infinitary queries, Kleene algebra (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  10.  28
    Hans Kleine Buning and Theodor Lettmann, propositional logic: Deduction and algorithms.Anthony Hunter - 2002 - Studia Logica 71 (2):247-258.
  11.  1
    Learning Boolean specifications.U. Bubeck & H. Kleine Büning - 2015 - Artificial Intelligence 229:246-257.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  3
    Better to be than not to be?Hans Joas & Barbro Klein - 2010 - In Hans Joas & Barbro Klein (eds.), The Benefit of Broad Horizons: Intellectual and Institutional Preconditions for a Global Social Science. pp. 399-421.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  5
    The Benefit of Broad Horizons: Intellectual and Institutional Preconditions for a Global Social Science.Hans Joas & Barbro Klein (eds.) - 2010 - Leiden [etc.]: Brill.
    More than perhaps anybody else in the world, the Swedish social scientist Björn Wittrock has contributed - both on the intellectual and institutional level - to making a truly global science possible. This book is devoted to an appreciation of his contributions.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14. The Benefit of Broad Horizons: Intellectual and Institutional Preconditions for a Global Social Science. International comparative social studies (24).Hans Joas & Barbro Klein (eds.) - 2010 - Brill.
    No categories
     
    Export citation  
     
    Bookmark  
  15. What are the benefits of broad horizons?Hans Joas & Barbro Klein - 2010 - In The benefit of broad horizons: intellectual and institutional preconditions for a global social science: festschrift for Bjorn Wittrock on the occasion of his 65th birthday. Leiden [etc.]: Brill.
  16. 688 ACKNOWLEDGMENT Iwanska, Lucia Johnson, Mark Kadmon, Nirit K~ ilm~ n, L~ zlo.Hans Kamp, Boem-mo Kang, Paul Kay, Ali Kazmi, Edward L. Keenan, Jeff King, Ewan Klein, Angelika Kratzer, Manfred Krifka & William Ladusaw - 1995 - Linguistics and Philosophy 18:687-688.
     
    Export citation  
     
    Bookmark  
  17.  5
    System der Philosophie?: Festgabe für Hans-Dieter Klein.Ludwig Nagl, Rudolf Langthaler & Hans-Dieter Klein (eds.) - 2000 - New York: P. Lang.
    Die Frage, ob «systematische» Philosophie heute noch möglich ist, wird in der Gegenwartsphilosophie kontrovers diskutiert. Sie ist eng verknüpft mit dem Thema «Vernunft und Wirklichkeit». Der Sammelband System der Philosophie? dokumentiert Aspekte dieser Debatte durch Beiträge einer internationalen Autorenschaft.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. Depictive and Metric Body Size Estimation in Anorexia Nervosa and Bulimia Nervosa: A Systematic Review and Meta-Analysis.Simone Claire Mölbert, Lukas Klein, Anne Thaler, Betty J. Mohler, Chiara Brozzo, Peter Martus, Hans-Otto Karnath, Stefan Zipfel & Katrin Elisabeth Giel - 2017 - Clinical Psychology Review 57:21-31.
    A distorted representation of one's own body is a diagnostic criterion and core psychopathology of both anorexia nervosa (AN) and bulimia nervosa (BN). Despite recent technical advances in research, it is still unknown whether this body image disturbance is characterized by body dissatisfaction and a low ideal weight and/or includes a distorted perception or processing of body size. In this article, we provide an update and meta-analysis of 42 articles summarizing measures and results for body size estimation (BSE) from 926 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  19.  3
    Philosophia perennis: Erich Heintel zum 80. Geburtstag.Hans-Dieter Klein & Johann Reikerstorfer (eds.) - 1993 - New York: P. Lang.
    In den einzelnen Beiträgen der Erich Heintel gewidmeten Festschrift spiegeln sich dessen Auffassung von Philosophie als «perenner» Prinzipienwissenschaft europäischer Tradition. Sie reflektiert die Voraussetzungsproblematik alles Erkennens von der empirischen Einzelforschung bis hin zur Theologie sowie Sinn und Grenze ihres eigenen Vorgehens. Ontologisches Voraussetzungswissen der antik-mittelalterlichen Form- bzw. Substanzmetaphysik und neuzeitlichen Transzendentalphilosophie müssen in ihrem Sinnanspruch ebenso unterschieden wie auch miteinander «versöhnt» werden, um den Menschen in seiner Einheit als «daseiende Transzendentalität» erfassen zu können. Die Frage nach dem Begriff des Menschen (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  33
    Zohar Manna and Richard Waldinger. The logical basis for computer programming. Volume I. Deductive reasoning. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1985, xii + 618 pp. - Zohar Manna and Richard Waldinger. The logical basis for computer programming. Volume II. Deductive systems. Addison-Wesley series in computer science. Addison-Wesley Publishing Company, Reading, Mass., etc., 1990, xiii + 642 pp. [REVIEW]Hans Klene Buning - 1995 - Journal of Symbolic Logic 60 (4):1326-1327.
  21. Plato’s Trilogy: Theaetetus, Sophist, and the Statesman.Jacob Klein, Hans-Georg Gadamer, Ronna Burger, David Bolotin, Mitchell H. Miller & Thomas L. Pangle - 1977 - Philosophy and Rhetoric 14 (2):112-117.
     
    Export citation  
     
    Bookmark   9 citations  
  22.  5
    Perspektiven und Probleme systematischer Philosophie: Harald Holz zum 65. Geburtstag.Achim Engstler & Hans-Dieter Klein - 1996 - Peter Lang Gmbh, Internationaler Verlag Der Wissenschaften.
    Dieser Band ist Harald Holz zum 65. Geburtstag gewidmet. Er bietet keine Festschrift in dem Sinne, dass in den versammelten Texten an das Werk Harald Holz' im einzelnen angeschlossen wurde. Die Beitrager - Freunde, Schuler, Weggefahrten, Kollegen - mochten vielmehr ihre Anerkennung im allgemeinen dadurch ausdrucken, dass sie sich um die gemeinsame Sache, die Philosophie, bemuhen. In den Texten sind Aspekte der Arbeitsgebiete der einzelnen Autoren mit Interessen des Jubilars verbunden, was sich um so leichter ergab, als letztere ausserordentlich weit (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  7
    Gesellschaft, Staat, Nation.Rudolf Burger, Hans-Dieter Klein & Wolfgang H. Schrader - 1996 - Austrian Academy of Sciences Press.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  17
    Formale und materials prinzipien in kants ethik.Hans-Dieter Klein - 1969 - Kant Studien 60 (2):183-197.
  25.  51
    The nature of the semantic/episodic memory distinction: A missing piece of the “working through” process.Stanley B. Klein & Hans J. Markowitsch - 2015 - Behavioral and Brain Sciences 38.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  15
    The Search for Enlightenment: The Working Class and Adult Education in the Twentieth Century.Hans R. Klein & Brian Simon - 1993 - British Journal of Educational Studies 41 (2):185.
  27.  3
    Transzendentale Systeme im Wien des 20. Jahrhunderts.Hans-Dieter Klein - 2021 - In Rudolf Meer & Giuseppe Motta (eds.), Kant in Österreich: Alois Riehl Und der Weg Zum Kritischen Realismus. De Gruyter. pp. 479-528.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  28. Decimal fraction representations are not distinct from natural number representations - evidence from a combined eye-tracking and computational modeling approach.Elise Klein Stefan Huber, Hans-Christoph Nuerk Klaus Willmes & Korbinian Moeller - 2016 - In Philippe Chassy & Wolfgang Grodd (eds.), Abstract mathematical cognition. [Lausanne, Switzerland]: Frontiers Media SA.
  29.  33
    Spatial displacement of numbers on a vertical number line in spatial neglect.Urszula Mihulowicz, Elise Klein, Hans-Christoph Nuerk, Klaus Willmes & Hans-Otto Karnath - 2015 - Frontiers in Human Neuroscience 9.
  30. Influences of Cognitive Control on Numerical Cognition—Adaptation by Binding for Implicit Learning.Korbinian Moeller, Elise Klein & Hans-Christoph Nuerk - 2013 - Topics in Cognitive Science 5 (2):335-353.
    Recently, an associative learning account of cognitive control has been suggested (Verguts & Notebaert, 2009). In this so-called adaptation by binding theory, Hebbian learning of stimulus–stimulus and stimulus–response associations is assumed to drive the adaptation of human behavior. In this study, we evaluated the validity of the adaptation-by-binding account for the case of implicit learning of regularities within a stimulus set (i.e., the frequency of specific unit digit combinations in a two-digit number magnitude comparison task) and their association with a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31. Der Begriff der Seele in der Philosophiegeschichte.Hans-Dieter Klein - 2006 - Tijdschrift Voor Filosofie 68 (2):431-431.
    No categories
     
    Export citation  
     
    Bookmark  
  32.  4
    Ethik als prima philosophia?Hans-Dieter Klein (ed.) - 2011 - Würzburg: Königshausen & Neumann.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  4
    Letztbegründung als System?Hans-Dieter Klein (ed.) - 1994 - Bonn: Bouvier.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  4
    Philosophisches System und religiöse Pluralität. Fragen aus monadologischer Perspektive.Hans-Dieter Klein - 2018 - In Herta Nagl-Docekal (ed.), Leibniz Heute Lesen: Wissenschaft, Geschichte, Religion. Boston: De Gruyter. pp. 103-110.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  35. System der Philosophie.Hans-Dieter Klein - 2002
    No categories
     
    Export citation  
     
    Bookmark  
  36.  7
    Systeme im Denken der Gegenwart.Hans-Dieter Klein (ed.) - 1993 - Bonn: Bouvier.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  5
    Transzendentale Konzepte in aktuellen Bezügen.Hans-Dieter Klein & Rudolf Langthaler (eds.) - 2010 - Würzburg: Königshausen & Neumann.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  4
    Vernunft und Wirklichkeit.Hans-Dieter Klein - 1973 - Wien, München.: Oldenbourg.
    Bd. 1 Untersuchungen zur Kritik der Vernunft.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39. Vernunft und Wirklichkeit. Band I.Hans-Dieter Klein - 1975 - Zeitschrift für Philosophische Forschung 29 (3):470-473.
    No categories
     
    Export citation  
     
    Bookmark  
  40. Zur Frage der Gründung des Rechts in der Sittlichkeit.Hans-Joachim Klein - 1960 - Marburg,:
    No categories
     
    Export citation  
     
    Bookmark  
  41.  21
    A Unitary or Multiple Representations of Numerical Magnitude? – the Case of Structure in Symbolic and Non-Symbolic Quantities.Korbinian Moeller, Elise Klein, Hans-Christoph Nuerk & Roi Cohen Kadosh - 2012 - Frontiers in Psychology 3.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  42.  31
    The Social Construction of Technology: Structural Considerations.Daniel Lee Kleinman & Hans K. Klein - 2002 - Science, Technology, and Human Values 27 (1):28-52.
    Although scholarship in the social construction of technology has contributed much to illuminating technological development, most work using this theoretical approach is committed to an agency-centered approach. SCOT scholars have made only limited contributions to illustrating the influence of social structures. In this article, the authors argue for the importance of structural concepts to understanding technological development. They summarize the SCOT conceptual framework defined by Trevor Pinch and Wiebe Bijker and survey some of the methodological and explanatory difficulties that arise (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  43.  26
    Geist und Heiliger Geist: philosophische und theologische Modelle von Paulus und Johannes bis Barth und Balthasar.Edith Düsing, Werner Neuer & Hans-Dieter Klein (eds.) - 2009 - Würzburg: Königshausen & Neumann.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Anatomical Evidence From Statistical Voxel-Based Lesion Analysis.Urszula Mihulowicz, Klaus Willmes, Hans-Otto Karnath & Elise Klein - 2016 - In Philippe Chassy & Wolfgang Grodd (eds.), Abstract mathematical cognition. [Lausanne, Switzerland]: Frontiers Media SA.
     
    Export citation  
     
    Bookmark  
  45.  12
    Hemispheric Lateralization of Arithmetic Facts and Magnitude Processing for Two-Digit Numbers.Stefanie Jung, Korbinian Moeller, Hans-Otto Karnath & Elise Klein - 2020 - Frontiers in Human Neuroscience 14.
  46.  5
    Politische Lageanalyse: Festschrift für Hans-Joachim Arndt zum 70. Geburtstag am 15. Januar 1993.Volker Beismann & Markus Josef Klein (eds.) - 1993 - Bruchsal: San Casciano Verlag.
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  2
    Kleine Apologie der ästhetischen Erfahrung.Hans Robert Jauss - 1972 - Konstanz,: Universitätsverlag. Edited by Max Imdahl.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Stability, strength and sensitivity: Converting belief into knowledge.Hans Rott - 2004 - Erkenntnis 61 (2-3):469-493.
    In this paper I discuss the relation between various properties that have been regarded as important for determining whether or not a belief constitutes a piece of knowledge: its stability, strength and sensitivity to truth, as well as the strength of the epistemic position in which the subject is with respect to this belief. Attempts to explicate the relevant concepts more formally with the help of systems of spheres of possible worlds (à la Lewis and Grove) must take care to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   18 citations  
  49.  6
    Kleine Schriften.Hans-Georg Gadamer - 1970 - Journal of Aesthetics and Art Criticism 28 (4):545-546.
  50.  9
    Geist, Kosmos und Physik: Gedanken über die Einheit des Lebens.Hans-Peter Dürr - 2010 - Amerang: Crotona.
    Kaum ein anderer lebender Naturwissenschaftler besitzt die Fähigkeit, mit solcher Geistesklarheit die tiefsten Einsichten von moderner Quantenphysik mit dem uralten spirituellen Menschheitswissen zu verknüpfen wie - Hans-Peter Dürr! Es gelingt Dürr scheinbar mühelos, eine Synthese zwischen den meditativen Einsichten der Weisen des Ostens und den aktuellen Erkenntnissen der modernen Naturwissenschaften herzustellen. Dabei verliert er sich niemals in langatmigen akademischen Erläuterungen, sondern hat stets den Menschen und die gesellschaftliche Wirklichkeit des 21. Jahrhunderts im Blick. Ein Brückenschlag zwischen zwei Welten, der (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000