„deduction“

Suchergebnisse

1.000+ Treffer

• Evolution of an endofungal Lifestyle: Deductions from the Burkholderia rhizoxinica Genome
  Lackner, Gerald ; Moebius, Nadine ; Partida-Martínez, Laila Pamela ; Boland, Sebastian ; Hertweck, Christian
• Das System der Verlustverrechnung im deutschen Steuerrecht – Verfassungsrechtliche Vorgaben und Ausgestaltung de lege ferenda
  Röder, Erik 2010 Verlag Dr. Otto Schmidt
• On the relevance of surrogate parameter deduction in biomedical research: mediated regression analysis for variance explanation of cervical range of motion
  Niederer, Daniel ; Vogt, Lutz ; Wilke, Jan ; Banzer, Winfried
• Role of decision tree in supplementing tacit knowledge for Hypothetico-Deduction in higher education
  Gupta, Preeti ; Mehrotra, Deepti ; Sharma, Tarun Kumar
• Turner syndrome and female sex chromosome aberrations: deduction of the principal factors involved in the development of clinical features
  Ogata, Tsutomu ; Matsuo, Nobutake
• On the Deduction of prandtl 's Equation
  Homentcovschi, D.
• Deduction of semiconductor parameters from the frequency dependence of free carrier reflectivity
  Willis, A. J. ; Marais, M. A.
• Combating overreporting of deductions in tax returns: prefilling and restricting the deductibility of expenditures
  Fochmann, Martin ; Hechtner, Frank ; Kölle, Tobias ; Overesch, Michael
• Young Households' Diminishing Access to Homeownership Attainment in Europe
  Vangeel, Wouter ; Defau, Laurens ; De Moor, Lieven 2023 SSOAR, GESIS – Leibniz-Institut für Sozialwissenschaften e.V.
• Dennis Schulting: Kant’s Deduction from Apperception. An Essay on the transcendental Deduction of the Categories. (KSEH 203). De Gruyter ²2019. 344 pages. ISBN: 978-3-11-058430-1.
  Hiltscher, Reinhard
• Deduction (Dagstuhl Seminar 9709)
  Bibel, Wolfgang ; Furbach, Ulrich ; Hasegawa, Ryuzo ; Stickel, Mark 1997 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Loveland, D. W. (ed.), 6th Conference on Automated Deduction. New York, USA, 1982. Berlin‐Heidelberg‐New York, Springer‐Verlag 1982. VII, 389 S., DM 39,50. US $ 17.60. ISBN 3‐540‐11558‐7 (Lecture Notes in Computer Science 138)
  Reichel, H.
• Siekmann, J. H. (Ed.): 8th International Conference on Automated Deduction. Oxford, England, July 27–August 1, 1986, Proceedings. Lecture Notes in Computer Science Vol. 230. Springer‐Verlag, Berlin – Heidelberg – New York – Tokyo 1986, IX, 708 pp., DM 96,– ISBN 3‐540‐16780‐3
  Seese, D.
• Applied Logic for Computer Scientists – Computational Deduction and Formal Proofs
  Ayala-Rincón, Mauricio ; Moura, Flávio L. C. ˜deœ 2017 Springer International Publishing
• Logic and Structure
  Dalen, Dirk ˜vanœ 2013 Springer London
• Formalized Proof Systems for Propositional Logic
  Michaelis, Julius ; Nipkow, Tobias 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Maximality of Cartesian Categories
  Došen, Kosta ; Petrić, Zoran
• Corporate responses to the repatriation incentives and domestic production activities deduction
  Kinney, Michael R. ; Liu, Harrison
• Advancing mixed-integer programming using data-driven and deduction-based methods
  Chmiela, Antonia ; Pokutta, Sebastian ; Dadush, Daniel 2025 Technische Universität Berlin
• A partial rehabilitation of side-effecting I/O – non-determinism in non-strict functional languages
  Schmidt-Schauß, Manfred 1996 Univ.-Bibliothek Frankfurt am Main