Synonyme wurden verwendet für: Logik mathematische Logik
Suche ohne Synonyme: keywords:(mathematische Logik)

1–20 von 264 Ergebnissen
|

    Zur Ergänzung induktiver FAS-Entwicklungen durch einen deduktiven Ansatz

    Nagel, Hans-Hellmut | Tema Archiv | 2006
    Schlagwörter: formale Logik

    Data, Application, and User Need: the NASA MERRA-2 Reanalysis Products

    X. Pan / S. Shen / J. Wei et al. | NTIS | 2022
    Schlagwörter: Algebra, Analysis, Geometry, & Mathematical Logic

    Statistical Approach on Utilizing Ground-based Experiments to Model Break-up Events

    A. Vavrin / J. Seago / A. King et al. | NTIS | 2023
    Schlagwörter: Algebra, Analysis, Geometry, & Mathematical Logic

    Numerical Evaluation of Entry System Trajectory Control via Active Porosity Control of Transpiration Cooled Thermal Protection System

    C. Anderson / M. Kinzel / D. Prabhu et al. | NTIS | 2022
    Schlagwörter: Algebra, Analysis, Geometry, & Mathematical Logic

    Road traffic signals modeling and analysis with Petri nets and linear logic

    dos Santos Soares, M. / Vrancken, J. | Tema Archiv | 2007
    Schlagwörter: formale Logik

    Towards a formal manufacturing reference ontology

    Usman, Zahid / Young, R.I.M. / Chungoora, Nitishal et al. | Tema Archiv | 2013
    Schlagwörter: formale Logik

    Improving the performance of loop-sensor-based traffic-information system by (M+PLL) circuit

    Kim, Sung-Wook / Ko, Jae-In / Cho, Ilsoo et al. | Tema Archiv | 2002
    Schlagwörter: formale Logik

    Launch, Ascent, and Vehicle Aerodynamics Scale-Resolving Simulations for NASA Applications

    F. Cadieux / M. Barad / E. Sozer et al. | NTIS | 2018
    Schlagwörter: Algebra, Analysis, Geometry, & Mathematical Logic

    Verification of an automotive active leveler

    Elia, N. / Brandin, B. | Tema Archiv | 1999
    Schlagwörter: formale Logik

    Wireless intelligent sensor networks for refrigerated vehicle

    Shan, Q. / Liu, Y. / Prosser, G. et al. | Tema Archiv | 2004
    Schlagwörter: formale Logik , Fuzzy-Logik

    Nearfield Anisotropic Mesh Adaptation for the Third AIAA Sonic Boom Workshop

    J. Vanharen / A. Loseille / F. Alauzet et al. | NTIS | 2020
    Schlagwörter: Algebra, Analysis, Geometry, & Mathematical Logic

    Robust, expressive, and quantitative linear temporal logics: Pick any two for free

    Freier Zugriff
    Neider, Daniel / Weinert, Alexander / Zimmermann, Martin | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2019
    Schlagwörter: Mathematische Logik

    Plume Impingement Studies in Space Environments for NASA Deep Space Logistics

    J. S. Pitt | NTIS | 2022
    Schlagwörter: Algebra, Analysis, Geometry, & Mathematical Logic

    Modeling Spacecraft Separation Dynamics in Julia

    J. Diegelman | NTIS | 2021
    Schlagwörter: Algebra, Analysis, Geometry, & Mathematical Logic

    Design of a generic fuzzy controller for electrohydraulic steering

    Zhang, Q. | Tema Archiv | 2001
    Schlagwörter: formale Logik

    GLM Ground Flash Fraction Retrieval Algorithm: Improvement, Testing, and Demonstration

    W. Koshak / R. Solakiewicz | NTIS | 2011
    Schlagwörter: Algebra, Analysis, Geometry, & Mathematical Logic

    Rationality, aggregate monotonicity and consistency in cooperative games: some (im)possibility results

    Freier Zugriff
    Calleja, Pere / Llerena Garrés, Francesc | BASE | 2017
    Schlagwörter: Mathematical logic

    Parameter Estimation using Numerical Merger Waveforms

    J. I. Thorpe / S. McWilliams / B. Kelly et al. | NTIS | 2008
    Schlagwörter: Algebra, Analysis, Geometry, & Mathematical Logic

    Motion Drive Algorithms and Simulator Design to Study Motion Effects on Infantry Soldiers

    J. H. Zywiol / R. Romano | NTIS | 2003
    Schlagwörter: Algebra, Analysis, Geometry, & Mathematical Logic

    Path monotonicity, consistency and axiomatizations of some weighted solutions

    Freier Zugriff
    Calleja, Pere / Llerena Garrés, Francesc | BASE | 2019
    Schlagwörter: Mathematical logic