Sortiert nach
Journal of Formalized Reasoning, 2016-01, Vol.9 (1), p.149-185
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2021-09, Vol.342
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-09, Vol.256 (Proc. GandALF 2017), p.106-120
2017
Volltextzugriff (PDF)
ACM transactions on computational logic, 2020-04, Vol.21 (2), p.1-32
2020
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2022-05, Vol.90 (5), p.453-454
2022
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2022-05, Vol.90 (5), p.453
2022
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2022-05, Vol.90 (5), p.453-454
2022
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2022, Vol.90 (5), p.453-454
2022
Volltextzugriff (PDF)
Information and computation, 2017-08, Vol.255, p.262-286
2017
Volltextzugriff (PDF)
2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), 2021, p.1-6
2021
Volltextzugriff (PDF)
Intelligent Computer Mathematics, p.141-146
Volltextzugriff (PDF)
Journal of symbolic computation, 2021-09, Vol.106, p.78-109
2021
Volltextzugriff (PDF)
Intelligent Computer Mathematics, p.3-18
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2023-10, Vol.91 (5), p.563-565
2023
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2023-10, Vol.91 (5), p.567-567
2023
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2023-10, Vol.91 (5), p.563-565
2023
Volltextzugriff (PDF)
Intelligent Computer Mathematics, p.287-304
Volltextzugriff (PDF)
Journal of symbolic computation, 2019-01, Vol.90, p.1-2
2019
Volltextzugriff (PDF)
Intelligent Computer Mathematics, p.122-137
Volltextzugriff (PDF)
Intelligent Computer Mathematics, p.222-237
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2023, Vol.91 (5), p.563-565
2023
Volltextzugriff (PDF)
Intelligent Computer Mathematics, p.191-208
Volltextzugriff (PDF)
Intelligent Computer Mathematics, p.241-255
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Mathematics
- Physical Sciences
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Computer Science, Interdisciplinary Applications
- Life Sciences & Biomedicine
- Mathematical & Computational Biology
- Mathematics, Interdisciplinary Applications
- Artificial Intelligence
- Computer Science, Software Engineering
- Mathematics, Applied
- Algorithms
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Function Symbol
- Logic
Kollektion
- Ingenta
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- HEAL-Link subscriptions: Springer Book Series
- Free E-Journal (出版社公開部分のみ）
- ScienceDirect
- Springer journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- RCN full-text journals@Ovid
- IEEE/IET Electronic Library
- IngentaConnect Journals
- Cambridge Journals Online (DEFF)
- ACM Digital Library
- Taylor & Francis Journals Complete
- BSC - Ebsco (Business Source Ultimate)
- Oxford Journals
- Access via Taylor & Francis
- Taylor & Francis
Zeitschrift / Serie
- Annals Of Mathematics And Artificial Intelligence
- Journal Of Symbolic Computation
- Electronic Proceedings In Theoretical Computer Science
- Arxiv
- Electronic Notes In Theoretical Computer Science
- Information And Computation
- Journal Of Applied Logic
- Journal Of Automated Reasoning
- Lecture Notes In Computer Science
- Logic For Programming, Artificial Intelligence, And Reasoning
Neu hinzugefügt