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...Electronic proceedings in theoretical computer science, 2019-04, Vol.290 (Proc. ThEdu 2018), p.14-29
2019
Volltextzugriff (PDF)
Journal of automated reasoning, 2018-06, Vol.61 (1-4), p.455-484
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019-04, Vol.290 (Proc. ThEdu 2018), p.1-13
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2018, Vol.267 (Proc. ThEdu 2017), p.140-155
2018
Volltextzugriff (PDF)
Journal of automated reasoning, 2020-10, Vol.64 (7), p.1169-1195
2020
Volltextzugriff (PDF)
Journal of logic and computation, 2023-06, Vol.33 (4), p.818-836
2023
Volltextzugriff (PDF)
Interactive Theorem Proving, p.341-357
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2020, Vol.313, p.73-92
2020
Volltextzugriff (PDF)
Ai communications, 2018-01, Vol.31 (3), p.281-299
2018
Volltextzugriff (PDF)
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021, p.1-16
2021
Volltextzugriff (PDF)
Natural Language Processing in Artificial Intelligence -- NLPinAI 2021, 2021, Vol.999, p.25-48
2021
Volltextzugriff (PDF)
Implementation and Application of Automata, p.206-217
Volltextzugriff (PDF)
Automated Reasoning, 2018, Vol.10900, p.89-107
2018
Volltextzugriff (PDF)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV, 2017, Vol.10620, p.92-122
2017
Volltextzugriff (PDF)
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019, p.152-165
2019
Volltextzugriff (PDF)
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024, p.1731-1734
2024
Volltextzugriff (PDF)
2022 Formal Methods in Computer-Aided Design (FMCAD), 2022, p.369-379
2022
Volltextzugriff (PDF)
Trust Management XIII, 2019, Vol.563, p.209-223
2019
Volltextzugriff (PDF)
IEEE security & privacy, 2021-01, Vol.19 (1), p.81-88
2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- First-Order Logic
- Soundness
- Completeness
- Computer Science, Information Systems
- Computer Science, Software Engineering
- Isabelle/hol
- Logic
- Artificial Intelligence
- Automatic Theorem Provers
- Automation
- Cybersecurity
- Herbrand’s Theorem
- Logic In Computer Science
- Mathematical Logic And Formal Languages
- Mathematical Logic And Foundations
Kollektion
- IngentaConnect
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Free E-Journal (出版社公開部分のみ）
- Springer Book Series
- IEEE/IET Electronic Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library
- Journals@Ovid Full Text
- SpringerLink
- Business Source Ultimate【Trial: -2024/12/31】【Remote access available】
- Oxford Journals