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...Logical methods in computer science, 2021-01, Vol.17, Issue 4
2021
Volltextzugriff (PDF)
Journal of automated reasoning, 2022-11, Vol.66 (4), p.541-564
2022
Volltextzugriff (PDF)
SIGLOG news, 2023-12, Vol.10 (4), p.25-40
2023
Volltextzugriff (PDF)
Communications of the ACM, 2023-03, Vol.66 (4), p.80-90
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Logic
- Theorem Proving
- Calculus
- Computing Methodologies
- Mathematics Of Computing
- Science & Technology
- Symbolic And Algebraic Manipulation
- Technology
- Theory Of Computation
- Artificial Intelligence
- Boolean
- Competition
- Computer Algebra
- Computer Science - Logic In Computer Science
- Computer Science, Artificial Intelligence
- Computer Science, Theory & Methods
- Computing Methodologies / Symbolic And Algebraic Manipulation
- Computing Methodologies / Symbolic And Algebraic Manipulation / Symbolic And Algebraic Algorithms
- Constraint And Logic Programming
Kollektion
Zeitschrift / Serie