Sortiert nach
Mathematics (Basel), 2022-07, Vol.10 (14), p.2518
2022
Link zum Volltext
Axioms, 2022-02, Vol.11 (2), p.73
2022
Link zum Volltext
Axioms, 2019, Vol.8 (4), p.118
2019
Link zum Volltext
Autonomous agents and multi-agent systems, 2022-04, Vol.36 (1), Article 2
2022
Link zum Volltext
Autonomous agents and multi-agent systems, 2020, Vol.34 (2), Article 34
2020
Link zum Volltext
Electronic proceedings in theoretical computer science, 2013-03, Vol.112 (Proc. SR 2013), p.33-41
2013
Link zum Volltext
ACM transactions on computational logic, 2022-10, Vol.23 (4), p.1-58, Article 21
2022
Link zum Volltext
The Journal of symbolic logic, 2021-09, Vol.86 (3), p.1035-1065
2021
Link zum Volltext
Journal of logic, language, and information, 2022-06, Vol.31 (2), p.167-188
2022
Link zum Volltext
Artificial intelligence, 2022-08, Vol.309, p.103728, Article 103728
2022
Link zum Volltext
Logical methods in computer science, 2006-03, Vol.2, Issue 1
2006
Link zum Volltext
Journal of logic, language, and information, 2020-03, Vol.29 (1), p.1-2
2020
Link zum Volltext
Journal of logic, language, and information, 2020, Vol.29 (1), p.1-2
2020
Link zum Volltext
The review of symbolic logic, 2018-09, Vol.11 (3), p.470-506
2018
Link zum Volltext
Autonomous agents and multi-agent systems, 2016-05, Vol.30 (3), p.446-485
2016
Link zum Volltext
Theoretical computer science, 2019-12, Vol.797, p.129-155
2019
Link zum Volltext
Contributions to discrete mathematics, 2023-01, Vol.18 (2), p.188-209
2023
Link zum Volltext
Contributions to discrete mathematics, 2023-01, Vol.18 (2), p.210-233
2023
Link zum Volltext
Information and computation, 2021-02, Vol.276, p.104554, Article 104554
2021
Link zum Volltext
Contributions to discrete mathematics, 2023, Vol.18 (2), p.210
2023
Link zum Volltext
Autonomous agents and multi-agent systems, 2016, Vol.30 (3), p.446
2016
Link zum Volltext
Logic, Rationality, and Interaction, 2017, p.33-48
2017
Link zum Volltext
Theoretical computer science, 2006-03, Vol.353 (1), p.93-117
2006
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Logic
- Technology
- Mathematics
- Computer Science, Theory & Methods
- Science & Technology - Other Topics
- Physical Sciences
- Mathematics, Applied
- Computer Science, Artificial Intelligence
- Modal Logic
- Semantics
- Artificial Intelligence
- Temporal Logic
- Philosophy
- Mathematical Logic
- Completeness
- Arts & Humanities
- Expressiveness
- Game Theory
Kollektion
- Ingenta
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink_现刊
- Ebook Central Perpetual and DDA
- Ovid SocietyJournals and Single Titles
- eBooks on EBSCOhost
- JSTOR
- Elektronische Zeitschriftenbibliothek (Open access)
- Springer Book Series
- IngentaConnect Journals
- Elsevier ScienceDirect Journals Complete
- Taylor & Francis Online
- Taylor & Francis Current Content Access
- Oxford University Press Journals Current
- IEL
- ACM
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- Cambridge Journals Online (DEFF)
- Project Euclid Complete
Zeitschrift / Serie
- Journal Of Applied Non-Classical Logics
- Studia Logica
- Journal Of Logic, Language, And Information
- Electronic Notes In Theoretical Computer Science
- Acm Transactions On Computational Logic
- Autonomous Agents And Multi-Agent Systems
- Synthese
- Journal Of Logic And Computation
- Contributions To Discrete Mathematics
- Logic Journal Of The Igpl
Neu hinzugefügt