Sortiert nach
Science of computer programming, 2019-03, Vol.172, p.48-62
2019
Link zum Volltext
Zygon, 2022-12, Vol.57 (4), p.953-962
2022
Link zum Volltext
Frontiers of Combining Systems, p.112-128
Link zum Volltext
Logic journal of the IGPL, 2023-01
2023
Link zum Volltext
Logica universalis, 2013-03, Vol.7 (1), p.7-20
2013
Link zum Volltext
Logical methods in computer science, 2009-03, Vol.5, Issue 1
2009
Link zum Volltext
Data in brief, 2019-06, Vol.24, p.103823-103823, Article 103823
2019
Link zum Volltext
The AI magazine, 2019-06, Vol.40 (2), p.73-74
2019
Link zum Volltext
Theory and practice of logic programming, 2021-01, Vol.21 (1), p.1-3
2021
Link zum Volltext
Journal of automated reasoning, 2015, Vol.55 (4), p.389-404
2015
Link zum Volltext
Journal of automated reasoning, 2020, Vol.64 (1), p.53-72
2020
Link zum Volltext
Annals of mathematics and artificial intelligence, 2011-06, Vol.62 (1-2), p.103-128
2011
Link zum Volltext
The review of symbolic logic, 2020-03, Vol.13 (1), p.206-218
2020
Link zum Volltext
Journal of Formalized Reasoning, 2010-01, Vol.3 (1), p.1-27
2010
Link zum Volltext
Open Philosophy, 2019-08, Vol.2 (1), p.230-251
2019
Link zum Volltext
Automated Reasoning with Analytic Tableaux and Related Methods, p.213-220
Link zum Volltext
Web semantics, 2012-04, Vol.12-13, p.104-117
2012
Link zum Volltext
Automated Reasoning, 2018, Vol.10900, p.108-116
2018
Link zum Volltext
Formal Methods: Foundations and Applications, p.7-11
Link zum Volltext
Logic journal of the IGPL, 2010-12, Vol.18 (6), p.881-892
2010
Link zum Volltext
Mathematical Software – ICMS 2016, p.43-50
Link zum Volltext
PRICAI 2019: Trends in Artificial Intelligence, p.418-432
Link zum Volltext
Verification, Induction, Termination Analysis, p.117-128
Link zum Volltext
KI 2017: Advances in Artificial Intelligence, p.114-127
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Artificial Intelligence
- Computer Science, Theory & Methods
- Logic
- Science & Technology - Other Topics
- Mathematics
- Mathematics, Applied
- Physical Sciences
- Computer Science, Software Engineering
- Artificial Intelligence
- Automated Reasoning
- Automated Theorem Proving
- Computer Science, Information Systems
- Higher-Order Logic
- Philosophy
- Theorem Proving
- Classical Higher-Order Logic
- Natural Deduction
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- IngentaConnect
- Springer Book Series (Lecture Notes)
- EZB Electronic Journals Library
- AUTH Library subscriptions: Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EBSCOhost Business Source Ultimate
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Oxford University Press Journals Current
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Wiley Online Library
- Cambridge Journals Online (DEFF)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- De Gruyter journals
- PBSC : Psychology and Behavioral Sciences Collection - Journals
- ScienceDirect eBooks
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Logic Journal Of The Igpl
- Annals Of Mathematics And Artificial Intelligence
- Data In Brief
- Journal Of Automated Reasoning
- Ai Communications
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Journal Of Formalized Reasoning
- Ki. Künstliche Intelligenz