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...Journal of automated reasoning, 2020-06, Vol.64 (5), p.879-910
2020
Volltextzugriff (PDF)
Journal of automated reasoning, 2020-06, Vol.64 (5), p.827-856
2020
Volltextzugriff (PDF)
Interactive Theorem Proving, 2018, Vol.10895, p.196-214
2018
Volltextzugriff (PDF)
NASA Formal Methods, 2020, p.233-250
2020
Volltextzugriff (PDF)
Frontiers of Combining Systems, p.223-239
Volltextzugriff (PDF)
Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021, p.238-249
2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Artificial Intelligence
- Algorithms
- Artificial Intelligence
- Computer Science, Software Engineering
- Isabelle/hol
- Mathematical Logic And Formal Languages
- Mathematical Logic And Foundations
- Simplex Algorithm
- Symbolic And Algebraic Manipulation
- Binary Search Trees
- Binary System
- Branch-And-Bound
- Certified Algorithm
- Complexity Verification
- Computer Algebra
- Computer Science, Theory & Methods
- Cryptography
Kollektion
Zeitschrift / Serie