Sortiert nach
Logical methods in computer science, 2021-01, Vol.17 (2)
2021
Link zum Volltext
Journal of automated reasoning, 2022-11, Vol.66 (4), p.499-539
2022
Link zum Volltext
Journal of automated reasoning, 2020-10, Vol.64 (7), p.1169-1195
2020
Link zum Volltext
Journal of automated reasoning, 2021-10, Vol.65 (7), p.893-940
2021
Link zum Volltext
Automated Reasoning, 2020, p.316-334
2020
Link zum Volltext
Automated Deduction - CADE-25, p.367-377
Link zum Volltext
Foundations of Software Science and Computation Structures, p.461-479
Link zum Volltext
Automated Deduction – CADE 27, 2019, p.55-73
2019
Link zum Volltext
Electronic proceedings in theoretical computer science, 2019-12, Vol.311, p.11-17
2019
Link zum Volltext
Automated Deduction – CADE-24, p.39-57
Link zum Volltext
Journal of automated reasoning, 2011-08, Vol.47 (2), p.191-227
2011
Link zum Volltext
Science of computer programming, 2017-11, Vol.148, p.123-160
2017
Link zum Volltext
Mathematics in computer science, 2015-10, Vol.9 (3), p.265-265
2015
Link zum Volltext
Automated Reasoning, 2018, Vol.10900, p.28-46
2018
Link zum Volltext
Automated Reasoning with Analytic Tableaux and Related Methods, p.38-53
Link zum Volltext
Journal of automated reasoning, 2007-04, Vol.38 (1-3), p.57-78
2007
Link zum Volltext
Science of computer programming, 2012-09, Vol.77 (10-11), p.1122-1150
2012
Link zum Volltext
Information and computation, 2006-10, Vol.204 (10), p.1453-1492
2006
Link zum Volltext
Automated Deduction – CADE-22, p.17-34
Link zum Volltext
Logic for Programming, Artificial Intelligence, and Reasoning, p.348-362
Link zum Volltext
Automated Reasoning, 2018, Vol.10900, p.89-107
2018
Link zum Volltext
Automated Deduction - CADE 26, 2017, Vol.10395, p.432-453
2017
Link zum Volltext
SIGLOG news, 2023-12, Vol.10 (4), p.25-40
2023
Link zum Volltext
Automated Deduction — CADE-15, 2006, p.144-159
2006
Link zum Volltext
Journal of symbolic computation, 2002-06, Vol.33 (6), p.777-829
2002
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Artificial Intelligence
- Physical Sciences
- Logic In Computer Science
- Exact Sciences And Technology
- Applied Sciences
- Computer Science, Theory & Methods
- Computer Science; Control Theory; Systems
- Artificial Intelligence
- Life Sciences & Biomedicine
- Chemistry
- Chemistry, Multidisciplinary
- Ground Instance
- Humans
- Computer Science, Software Engineering
- Inference Rule
- Mathematics
- Mathematics, Applied
Kollektion
- IngentaConnect
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- De Gruyter eBooks
- Wiley Online Library - AutoHoldings Journals
- Wiley Online Library Full Collection 2018
- Free E-Journal (出版社公開部分のみ）
- Springer Nature
- MEDLINE
- Elsevier ScienceDirect Journals Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Journals@Ovid Ovid Full Text
- IngentaConnect Journals
- ACM Digital Library Complete
- Thieme - Connect here FIRST to enable access
- Publisher or Other Site
- EBSCOhost Business Source Ultimate
- Jstor Complete Legacy
Zeitschrift / Serie