Sortiert nach
Journal of medical systems, 2022-03, Vol.46 (5), p.23-23, Article 23
2022
Link zum Volltext
Scientific reports, 2023-12, Vol.13 (1), p.22641-22641, Article 22641
2023
Link zum Volltext
Journal of symbolic computation, 2021-09, Vol.106, p.23-47
2021
Link zum Volltext
Journal of Formalized Reasoning, 2016-01, Vol.9 (1), p.149-185
2016
Link zum Volltext
JMIR medical informatics, 2022-10, Vol.10 (10), p.e38557-e38557
2022
Link zum Volltext
Computer Algebra in Scientific Computing, 2015, p.307-321
2015
Link zum Volltext
Mathematical Software – ICMS 2016, p.59-66
Link zum Volltext
Anesthesia and analgesia, 2024-03, Vol.138 (3), p.645
2024
Link zum Volltext
Intelligent Computer Mathematics, p.3-17
Link zum Volltext
Intelligent Computer Mathematics, 2017, Vol.10383, p.25-39
2017
Link zum Volltext
Mathematical Software – ICMS 2014, p.41-48
Link zum Volltext
Mathematical Software – ICMS 2014, p.374-381
Link zum Volltext
Intelligent Computer Mathematics, 2019, Vol.11617, p.155-170
2019
Link zum Volltext
Intelligent Computer Mathematics, 2018, p.178-193
2018
Link zum Volltext
Computer Algebra in Scientific Computing, 2015, Vol.9301, p.406-423
2015
Link zum Volltext
Artificial Intelligence Applications and Innovations, p.57-68
Link zum Volltext
- Maletzky, Martina
- Seeliger, Martin
- Wannöffel, Manfred
- Adick, Christel
- Salzbrunn, Monika
- Baum-Ceisig, Alexandra
- Calderón Morillón, Oscar
- Carillo, J
- Dijkzeul, Deniz
- Dombois, Rainer
- Emmerich Isaac, Gustavo Ernesto
- Freyssenet, Michel
- Fuchs, Martina
- Fürstenberg, Friedrich
- Hauser-Ditz, Axel
- Heinze, Rolf G
- Hertwig, Markus
- Jürgens, Ulrich
- Krzywdzinski, Martin
- Mählmeyer, Valentina
- Minssen, Heiner
- Nagel, Alexander-Kenneth
- Núñez, Ivo Nájera
- Osterloh, Bernd
- Rampeltshammer, Luitpolt
- Rosenow-Williams, Kerstin
- Sezgin, Zeynep
- Shinozaki, Kyoko
- Tuncer-Zengingül, Tülay
- Widuckel, Werner
2013
Link zum Volltext
Psychotherapie Forum, 2023-12, Vol.27 (3-4), p.67-76
2023
Link zum Volltext
Academy of Management Annual Meeting Proceedings, 2020, Vol.2020 (1), p.16675
- Newman, Alexander
- Wehrle, Katja
- Baranik, Lisa E.
- Knappert, Lena
- Ortlieb, Renate
- Otto, Kathleen
- Van Dijk, Hans
- Baluku, Martin M.
- Eggenhofer-Rehart, Petra
- Fan, Liyue
- Häusser, Jan Alexander
- Hosner, Roland
- Kira, Mari
- Klehe, Ute-Christine
- Kornau, Angela
- Landesmann, Michael
- Leitner, Sandra
- Maletzky, Martina
- Nansubuga, Florence
- Williamson Smith, Rachel
2020
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Theorema
- Computer Science, Theory & Methods
- Mathematics
- Physical Sciences
- Machine Learning
- Automated Reasoning
- Gröbner Bases
- Humans
- Life Sciences & Biomedicine
- Mathematical Theory Exploration
- Mathematics, Applied
- Buchberger Algorithm
- Coronaviruses
- Covid-19
- Groebner Basis
- Interactive Theorem Proving
- Learning Algorithms
Kollektion
- IngentaConnect
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Free E-Journals
- Springer Books
- IngentaConnect Journals
- Journals@Ovid Complete
- Springer Nature - Complete Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- Springer Nature - Connect here FIRST to enable access
- Elsevier ScienceDirect Journals Complete
Zeitschrift / Serie
Neu hinzugefügt