Sortiert nach
Journal of automated reasoning, 2019-03, Vol.62 (3), p.331-365
2019
Link zum Volltext
Journal of automated reasoning, 2023-03, Vol.67 (1), Article 8
2023
Link zum Volltext
Journal of automated reasoning, 2022-08, Vol.66 (3), p.357-407
2022
Link zum Volltext
Journal of automated reasoning, 2020-03, Vol.64 (3), p.485-510
2020
Link zum Volltext
Journal of automated reasoning, 2016-10, Vol.57 (3), p.187-217
2016
Link zum Volltext
Journal of automated reasoning, 2019-04, Vol.62 (4), p.481-503
2019
Link zum Volltext
Journal of automated reasoning, 2020, Vol.64 (1), p.97-134
2020
Link zum Volltext
Journal of automated reasoning, 2019-03, Vol.62 (3), p.367-391
2019
Link zum Volltext
Journal of automated reasoning, 2019-06, Vol.63 (1), p.53-94
2019
Link zum Volltext
Journal of automated reasoning, 2020-04, Vol.64 (4), p.767-791
2020
Link zum Volltext
Journal of automated reasoning, 2020-06, Vol.64 (5), p.879-910
2020
Link zum Volltext
The Astronomical journal, 2010-06, Vol.139 (6), p.2097-2129
2010
Link zum Volltext
Journal of automated reasoning, 2017-06, Vol.59 (1), p.87-120
2017
Link zum Volltext
Journal of automated reasoning, 2012-12, Vol.49 (4), p.583-619
2012
Link zum Volltext
Journal of automated reasoning, 2019-08, Vol.63 (2), p.489-515
2019
Link zum Volltext
Journal of automated reasoning, 2012-06, Vol.49 (1), p.1-52
2012
Link zum Volltext
Archive for mathematical logic, 2017-02, Vol.56 (1-2), p.67-78
2017
Link zum Volltext
Journal of automated reasoning, 2017-01, Vol.58 (1), p.127-147
2017
Link zum Volltext
Archive for mathematical logic, 2017-05, Vol.56 (3-4), p.309-317
2017
Link zum Volltext
Journal of automated reasoning, 2014-10, Vol.53 (3), p.271-304
2014
Link zum Volltext
Archive for mathematical logic, 2016-02, Vol.55 (1-2), p.37-48
2016
Link zum Volltext
Soft computing (Berlin, Germany), 2018-01, Vol.22 (2), p.387-408
2018
Link zum Volltext
Archive for mathematical logic, 2015-02, Vol.54 (1-2), p.35-48
2015
Link zum Volltext
The Astrophysical journal, 2010-12, Vol.724 (2), p.878-886
2010
Link zum Volltext
Archive for mathematical logic, 2014-05, Vol.53 (3-4), p.307-325
2014
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Physical Sciences
- Mathematics
- Exact Sciences And Technology
- Computer Science
- Mathematical Models
- Sciences And Techniques Of General Use
- Engineering
- Algorithms
- Mathematical Analysis
- Applied Sciences
- Logic
- Mathematical Logic, Foundations, Set Theory
- Combinatorics. Ordered Structures
- Logic And Foundations
- Mathematical Logic And Foundations
- Mathematical Logic
- Physics
- Computer Science; Control Theory; Systems
Kollektion
- Ingenta
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Journals@Ovid Complete
- Jstor Complete Legacy
- IEEE Xplore
- IngentaConnect Journals
- Project Euclid Complete
- Cambridge Journals Online (DEFF)
- Publisher website
- Wiley Online Library Journals Frontfile Complete
- EBSCOhost Business Source Ultimate
- Wiley Online Library
- American Physical Society Journals
- PROLA - Physical Review Online Archive
- Taylor & Francis
- Taylor & Francis Online
Zeitschrift / Serie
Neu hinzugefügt