Sortiert nach
Automated Deduction – CADE-24, 2013, Vol.7898, p.392-406
2013
Link zum Volltext
International journal of integrated care, 2021-04, Vol.21 (2), p.3
2021
Link zum Volltext
12th International Conference on Intelligent Computer Mathematics, CICM 2019, Prague, Czech Republic, 2019, Vol.11617 LNAI, p.125-139
2019
Link zum Volltext
Electronic proceedings in theoretical computer science, 2020-08, Vol.320
2020
Link zum Volltext
8th International Workshop on Verification and Program Transformation, VPT 2020 and 7th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2020, Dublin, Ireland, 2020, Vol.320
2020
Link zum Volltext
1st International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, Crete, Greece, 2024, Vol.14380 LNCS, p.391-394
2024
Link zum Volltext
Lecture notes in computer science, 2019, Vol.11372 LNCS, p.V
2019
Link zum Volltext
9th International Workshop on Verification and Program Transformation, VPT 2021, Virtual, Luxembourg, Luxembourg, 2021, Vol.341, p.1-16
2021
Link zum Volltext
Interactive Theorem Proving, 2017, Vol.10499 LNCS, p.1-11
2017
Link zum Volltext
Interactive Theorem Proving, p.291-306
Link zum Volltext
International journal of computer science in sport, 2023-03, Vol.22 (1), p.124-138
2023
Link zum Volltext
Practical Aspects of Declarative Languages, 2019, Vol.11372, p.115-132
2019
Link zum Volltext
Quality & quantity, 2023, Vol.In press
2023
Link zum Volltext
Journal of automated reasoning, 2011-10, Vol.47 (3), p.251-289
2011
Link zum Volltext
Practical Aspects of Declarative Languages, 2019, Vol.11372, p.82-97
2019
Link zum Volltext
Intelligent Computer Mathematics, 2014, Vol.8543, p.108-122
2014
Link zum Volltext
Journal of automated reasoning, 2015-01, Vol.54 (1), p.69-97
2015
Link zum Volltext
Journal of automated reasoning, 2015-04, Vol.54 (4), p.353-390
2015
Link zum Volltext
11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, Rhodes, Greece, 2022, Vol.13701 LNCS, p.174-187
2022
Link zum Volltext
Practical Aspects of Declarative Languages, 2019, Vol.11372, p.37-45
2019
Link zum Volltext
17th International Symposium on Trends in Functional Programming, TFP 2016, College Park, USA, 2019, Vol.10447 LNCS, p.61-74
2019
Link zum Volltext
Practical Aspects of Declarative Languages, 2019, Vol.11372, p.169-186
2019
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Physics
- Science & Technology
- Hadron-Hadron Scattering
- Lhc
- Computer Science
- Technology
- Fysik
- Physics Of Elementary Particles And Fields
- Artificial Intelligence
- Parton Distributions
- Computer Science, Theory & Methods
- Supersymmetry
- Computer Science, Software Engineering
- High Energy Physics - Experiment
- Computer Science, Artificial Intelligence
- Luminosity
- Physical Sciences
- Supergauge Transformations
- Transverse Momentum
- Life Sciences & Biomedicine
Kollektion
- EZB Electronic Journals Library
- Ingenta
- SpringerNature Journals
- IngentaConnect Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Elsevier ScienceDirect Journals Complete
- Single Journals
- American Physical Society Journals
- PROLA
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- APS Digital Backfile Archive (DFG Nationallizenzen)
- SpringerLink Series
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Full Text
- IEEE Xplore
- ACM Digital Library Complete
- Taylor & Francis Journals Complete
- Taylor & Francis
Zeitschrift / Serie
- Physics Letters. B
- The Journal Of High Energy Physics
- The European Physical Journal. C, Particles And Fields
- Physical Review. D, Particles, Fields, Gravitation, And Cosmology
- Physical Review Letters
- Zeitschrift Für Physik C Particles And Fields
- New Journal Of Physics
- Physical Review. C, Nuclear Physics
- Zeitschrift Für Physik. C, Particles And Fields
- Journal Of Automated Reasoning