„quantitative reasoning“

Suchergebnisse

1.000+ Treffer

• Experiencing teaching and learning quantitative reasoning in a project-based context
  Muir, Tracey ; Beswick, Kim ; Callingham, Rosemary ; Jade, Katara
• Quantitative risk-based requirements reasoning
  Feather, Martin S. ; Cornford, Steven L.
• Instructor perspectives on quantitative reasoning for critical citizenship
  Foley, Gregory D. ; Budhathoki, Deependra ; Thapa, Amrit B. ; Aryal, Harman P.
• Symbolic and quantitative approaches to reasoning and uncertainty – European conference ; proceedings
  Froidevaux, Christine 1995 Springer
• Reasoning with Mixed Qualitative-Quantitative Representations of Spatial Knowledge
  De Felice, Giorgio ; Freksa, Christian ; Renschler, Chris S. 2012 Staats- und Universitätsbibliothek Bremen
• A Process Model for the Integrated Reasoning about Quantitative IT Infrastructure Attributes
  Straube, Christian ; Kranzlmüller, Dieter 2014 Universitätsbibliothek der Ludwig-Maximilians-Universität
• A Process Model for the Integrated Reasoning about Quantitative IT Infrastructure Attributes
  Straube, Christian 2015 Verlag Dr. Hut
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty – 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings
  Sossai, Claudio 2009 Springer Berlin Heidelberg
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty – 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings
  Gaag, Linda C. ˜van derœ 2013 Springer Berlin Heidelberg
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty – 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings
  Liu, Weiru 2011 Springer Berlin Heidelberg
• Symbolic and quantitative approaches to reasoning with uncertainty – 9th European conference ; proceedings
  Mellouli, Khaled 2007 Springer
• Symbolic and quantitative approaches to reasoning with uncertainty – 8th European conference ; proceedings
  Godo, Lluís 2005 Springer
• [Symbolic and quantitative approaches to reasoning with uncertainty] – [7th European conference ; proceedings]
  Nielsen, Thomas Dyhre 2004 [Springer]
• Symbolic and quantitative approaches to reasoning and uncertainty – European conference ; proceedings
  Hunter, Anthony 2001 Springer
• Symbolic and quantitative approaches to reasoning with uncertainty – 6th European conference ; proceedings
  Benferhat, Salem 2001 Springer
• A quantitative study on the usage of dynamic geometry environments in Danish lower secondary school
  Højsted, Ingi Heinesen 2020 Universität Duisburg-Essen
• Effective quantifier-based reasoning for quantitative deductive verification
  Beothy-Elo, Emil ; Schroer, Philipp ; Haase, Darion ; Katoen, Joost-Pieter ; Noll, Thomas 2025 Universitätsbibliothek der RWTH Aachen
• Combining quantitative and qualitative reasoning in concurrent multi-player games
  Bulling, Nils ; Goranko, Valentin
• Answer Set Navigation alongside Quantitative Reasoning
  Rusovac, Dominik ; Rudolph, Sebastian ; Schaub, Torsten ; Gaggl, Sarah Alice 2025 Technische Universität Dresden
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty – 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10–14, 2017, Proceedings
  Antonucci, Alessandro ; Cholvy, Laurence ; Papini, Odile 2017 Springer International Publishing