Sortiert nach
1st Edition 2022, 2021
Volltextzugriff (PDF)
1st Edition 2020, 2019
Volltextzugriff (PDF)
Logic journal of the IGPL, 2023-11, Vol.31 (6), p.1023-1023
2023
Volltextzugriff (PDF)
1st Edition 2018, 2017
Volltextzugriff (PDF)
Lecture notes in computer science, 1999, Vol.1567
1, 1999
Volltextzugriff (PDF)
Computability and Complexity, p.19-21
Volltextzugriff (PDF)
The bulletin of symbolic logic, 2016-06, Vol.22 (2), p.294-297
2016
Volltextzugriff (PDF)
Logical Foundations of Computer Science, 2021, Vol.13137, p.236-252
2021
Volltextzugriff (PDF)
Logical Foundations of Computer Science, 2021, Vol.13137, p.70-89
2021
Volltextzugriff (PDF)
Logical Foundations of Computer Science, 2019, p.47-74
2019
Volltextzugriff (PDF)
Logical Foundations of Computer Science, 2018, Vol.10703, p.309-330
2018
Volltextzugriff (PDF)
Logical Foundations of Computer Science, 2021, Vol.13137, p.346-363
2021
Volltextzugriff (PDF)
Logical Foundations of Computer Science, 2021, Vol.13137, p.156-179
2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Applied Sciences
- Exact Sciences And Technology
- Computer Science; Control Theory; Systems
- Logic
- Science & Technology - Other Topics
- Computer Science, Artificial Intelligence
- Hybrid System
- Control Theory. Systems
- Logic Program
- Logic Programming
- Mathematics
- Modal Logic
- Mathematical Theory Of Computation
- Theoretical Computing
- Programming Theory
- Mathematical Logic And Formal Languages
Kollektion
- IngentaConnect
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Access via ScienceDirect (Elsevier)
- IEEE Xplore
- JSTOR
- Project Euclid
- Cambridge Journals Online (DEFF)
- ACM Digital Library
- Access via Business Source (EBSCOhost)
- ScienceDirect eBooks
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- SpringerNature Journals
- Taylor & Francis
- Oxford journals
- Cambridge University Press online books
Zeitschrift / Serie
- Annals Of Pure And Applied Logic
- Theoretical Computer Science
- The Journal Of Symbolic Logic
- Lecture Notes In Computer Science
- Logic Programming And Nonmonotonic Reasoning
- Ieee Transactions On Automatic Control
- Information And Computation
- Journal Of The Acm
- Logic Programming And Nonmonotonic Reasoning : Third International Conference, Lpnmr '95, Lexington, Ky, Usa, June 24-28, 1995 : Proceedings
- The American Mathematical Monthly