Sortiert nach
Information processing letters, 2023-08, Vol.182, p.106359, Article 106359
2023
Link zum Volltext
Journal of automated reasoning, 2023-09, Vol.67 (3), p.30, Article 30
2023
Link zum Volltext
Journal of automated reasoning, 2022-08, Vol.66 (3), p.275-276
2022
Link zum Volltext
Information processing letters, 2022-01, Vol.173, p.106169, Article 106169
2022
Link zum Volltext
Information processing letters, 2022-01, Vol.173
2022
Link zum Volltext
Journal of logic and computation, 2017-03, Vol.27 (2), p.549-576
2017
Link zum Volltext
Journal of automated reasoning, 2020-02, Vol.64 (2), p.253-294
2020
Link zum Volltext
ACM transactions on computational logic, 2020-05, Vol.21 (3), p.1-46
2020
Link zum Volltext
The Journal of artificial intelligence research, 2017-01, Vol.60, p.827-880
2017
Link zum Volltext
Journal of logic and computation, 2014-10, Vol.24 (5), p.1111-1139
2014
Link zum Volltext
Journal of logic and computation, 2017-10, Vol.27 (7)
2017
Link zum Volltext
ACM transactions on computational logic, 2020 (21)
2020
Link zum Volltext
Automated Deduction - CADE-25, 2015, p.311-325
2015
Link zum Volltext
Journal of automated reasoning, 2014-12, Vol.53 (4), p.317-350
2014
Link zum Volltext
Frontiers of Combining Systems, p.77-93
Link zum Volltext
Frontiers of Combining Systems, p.7-22
Link zum Volltext
Journal of automated reasoning, 2012-03, Vol.48 (3), p.293-362
2012
Link zum Volltext
Automated Reasoning with Analytic Tableaux and Related Methods, p.409-427
Link zum Volltext
Automated Deduction - CADE 26, 2017, Vol.10395, p.546-562
2017
Link zum Volltext
Journal of automated reasoning, 2016-10, Vol.57 (3), p.245-280
2016
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Life Sciences & Biomedicine
- Computer Science, Artificial Intelligence
- Physical Sciences
- Logic In Computer Science
- Earth Sciences
- Sciences Of The Universe
- Life Sciences
- Computer Science, Theory & Methods
- Mathematics
- Artificial Intelligence
- Humans
- Volcanology
- Piton De La Fournaise
- Volcanoes
- Male
- Logic
- Exact Sciences And Technology
Kollektion
- Ingenta
- Ebook Central Perpetual and DDA
- Springer Books
- eBooks on EBSCOhost
- EZB Free E-Journals
- SpringerLink Series
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Journals@Ovid
- Springer Nature - Complete Springer Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Wiley Online Library - AutoHoldings Journals
- Wiley Online Library Full Collection 2018
- Single Journals
- Oxford University Press Journals Current
- ACM Digital Library Complete
- Taylor & Francis
- Taylor & Francis Journals Complete
- IEEE Xplore Digital Library
Zeitschrift / Serie
- Journal Of Automated Reasoning
- Journal Of Volcanology And Geothermal Research
- Volcanica
- American Journal Of Physiology: Endocrinology And Metabolism
- Journal Of Logic And Computation
- Journal Of Symbolic Computation
- Information Processing Letters
- Acm Transactions On Computational Logic
- Bju International
- Journal De La Société Des Océanistes
Neu hinzugefügt