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...Expert systems with applications, 2014-09, Vol.41 (11), p.5180-5189
2014
Volltextzugriff (PDF)
Journal of automated reasoning, 2014-02, Vol.52 (2), p.215-239
2014
Volltextzugriff (PDF)
Acta informatica, 2013-12, Vol.50 (7-8), p.359-380
2013
Volltextzugriff (PDF)
SIGPLAN notices, 2013-01, Vol.48 (1), p.219-232
2013
Volltextzugriff (PDF)
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, 2013, p.219-232
2013
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Artificial Intelligence
- Boolean Bi
- Computer Science, Artificial Intelligence
- Logic And Foundations
- Mathematical Logic, Foundations, Set Theory
- Mathematics
- Nested Sequent Calculus
- Programming Languages
- Sciences And Techniques Of General Use
- Separation Logic
- Software
- Theorem Prover
- Theoretical Computing
- 3d Handwriting Recognition
Kollektion
Zeitschrift / Serie