Sortiert nach
ACM transactions on computational logic, 2016-07, Vol.17 (3), p.1-39
2016
Link zum Volltext
Artificial intelligence and law, 2021-09, Vol.29 (3), p.351-394
2021
Link zum Volltext
Annals of pure and applied logic, 2012-03, Vol.163 (3), p.266-290
2012
Link zum Volltext
Annals of pure and applied logic, 2017-03, Vol.168 (3), p.693-737
2017
Link zum Volltext
Fuzzy sets and systems, 2010-02, Vol.161 (3), p.369-389
2010
Link zum Volltext
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008, p.229-240
2008
- Link zum Volltext
Electronic proceedings in theoretical computer science, 2018, Vol.277 (Proc. GandALF 2018), p.43-57
2018
Link zum Volltext
Computer Science Logic, p.163-178
Link zum Volltext
Journal of world philosophies, 2017, Vol.2 (1), p.47-66
2017
Link zum Volltext
Logic, Language, Information and Computation, p.154-167
Link zum Volltext
Theoretical computer science, 2015-10, Vol.603, p.43-57
2015
Link zum Volltext
Theoretical computer science, 2020-04, Vol.813, p.375-409
2020
Link zum Volltext
The Journal of symbolic logic, 2021-06, Vol.86 (2), p.635-668
2021
Link zum Volltext
Fuzzy sets and systems, 2010-07, Vol.161 (14), p.1941-1958
2010
Link zum Volltext
Electronic proceedings in theoretical computer science, 2023, Vol.385, p.367-380
2023
Link zum Volltext
Studia logica, 2006-02, Vol.82 (1), p.95-119
2006
Link zum Volltext
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, p.1-13
2023
Link zum Volltext
Artificial intelligence and law, 2021-09, Vol.29 (3), p.351
2021
Link zum Volltext
Logical methods in computer science, 2012-03, Vol.8, Issue 1
2012
Link zum Volltext
PRIMA 2022: Principles and Practice of Multi-Agent Systems, p.72-89
Link zum Volltext
ACM transactions on computational logic, 2021-08, Vol.22 (3), p.1-31
2021
Link zum Volltext
Theoretical computer science, 2013-04, Vol.480 (100), p.26-42
2013
Link zum Volltext
Journal of logic and computation, 2016-02, Vol.26 (1), p.51-64
2016
Link zum Volltext
Archive for mathematical logic, 2005-05, Vol.44 (4), p.435-457
2005
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
- Computer Science, Information Systems
- Science & Technology - Other Topics
- Mathematics
- Sequent Calculus
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Artificial Intelligence
- Physical Sciences
- Fuzzy Logic
- Proof Theory
- Theoretical Computing
- Calculus
- Structural Rule
Kollektion
- Ingenta
- Springer Book Series (Lecture Notes)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- EZB Free E-Journals
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerNature Journals
- ACM Digital Library (Association for Computing Machinery)
- Oxford University Press Journals Current
- JSTOR All Journals
- Journals@Ovid Complete
- IEEE Xplore
- Cambridge Journals Online (DEFF)
- IngentaConnect Journals
- Project Euclid
Zeitschrift / Serie