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...Automated Reasoning, 2020, p.21-27
2020
Volltextzugriff (PDF)
Journal of automated reasoning, 2022-11, Vol.66 (4), p.611-637
2022
Volltextzugriff (PDF)
Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2023, p.47-62
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Artificial Intelligence
- Lean
- Mathematics
- Mathlib
- Algebra
- Algebraic Number The- Ory
- Algebraic Number Theory
- Artificial Intelligence
- Commutative Algebra
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Diophantine Equations
- Domains
- Formal Math
- Formalized Mathematics
- Group Theory
- Logic In Computer Science
Kollektion
Zeitschrift / Serie