Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...1st ed. 2016, 2016
Volltextzugriff (PDF)
IEEE transactions on pattern analysis and machine intelligence, 2023-01, Vol.45 (1), p.738-751
2023
Volltextzugriff (PDF)
Journal of Formalized Reasoning, 2016-01, Vol.9 (1), p.101-148
2016
Volltextzugriff (PDF)
1st Edition 2022, 2021
Volltextzugriff (PDF)
Journal of automated reasoning, 2022-11, Vol.66 (4), p.689-746
2022
Volltextzugriff (PDF)
IEEE transactions on information theory, 2023-11, Vol.69 (11), p.1-1
2023
Volltextzugriff (PDF)
Journal of automated reasoning, 2017-02, Vol.58 (2), p.253-291
2017
Volltextzugriff (PDF)
Ai communications, 2021-01, Vol.34 (2), p.163-177
2021
Volltextzugriff (PDF)
Journal of automated reasoning, 2021-08, Vol.65 (6), p.775-807
2021
Volltextzugriff (PDF)
International journal of pattern recognition and artificial intelligence, 2019-06, Vol.33 (7), p.1940003
2019
Volltextzugriff (PDF)
Annals of pure and applied logic, 2023-01, Vol.174 (1), p.103167, Article 103167
2023
Volltextzugriff (PDF)
Journal of automated reasoning, 2022-11, Vol.66 (4), p.565-574
2022
Volltextzugriff (PDF)
Ai communications, 2018-01, Vol.31 (6), p.495-507
2018
Volltextzugriff (PDF)
Journal of automated reasoning, 2024-03, Vol.68 (1), p.3, Article 3
2024
Volltextzugriff (PDF)
Journal of geometry, 2023-08, Vol.114 (2), Article 9
2023
Volltextzugriff (PDF)
Artificial intelligence, 2017-05, Vol.246, p.181-219
2017
Volltextzugriff (PDF)
International journal of machine learning and cybernetics, 2022-05, Vol.13 (5), p.1301-1315
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Theorem Proving
- Technology
- Mathematics
- Physical Sciences
- Theorems
- Computer Science, Theory & Methods
- Proving
- Artificial Intelligence
- Mathematical Analysis
- Mathematics, Applied
- Computer Science, Software Engineering
- Computer Science, Artificial Intelligence
- Logic
- Automated Theorem Proving
- Automatic Theorem Proving
- Engineering
- Exact Sciences And Technology
- Mathematical Logic And Formal Languages
Kollektion
- Ingenta
- Springer Nature - Complete Springer Journals
- ACM Digital Library Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- EZB Free E-Journals
- SpringerLink Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Ovid Full Text Journals
- Elsevier ScienceDirect Journals Complete
- IEEE Electronic Library Online
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- EBSCOhost Business Source Ultimate
- Taylor & Francis Current Content Access
- Cambridge Journals Online (DEFF)
- Taylor & Francis Journals
- Taylor & Francis Online
- JSTOR
- Wiley Online Library Journals
Zeitschrift / Serie
- Journal Of Automated Reasoning
- Journal Of The Acm
- Electronic Notes In Theoretical Computer Science
- Information Processing Letters
- Journal Of The Association For Computing Machinery
- Formal Aspects Of Computing
- Journal Of Logic And Computation
- Theoretical Computer Science
- Nonlinear Analysis
- Science Of Computer Programming
Neu hinzugefügt