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...Artificial intelligence, 2011-06, Vol.175 (9), p.1479-1497
2011
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2018-11, Vol.2 (OOPSLA), p.1-28
2018
Volltextzugriff (PDF)
Static Analysis, p.68-84
Volltextzugriff (PDF)
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2021, p.955-966
2021
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2019-01, Vol.3 (POPL), p.1-29
2019
Volltextzugriff (PDF)
International journal of approximate reasoning, 2008-09, Vol.49 (1), p.234-251
2008
Volltextzugriff (PDF)
Journal of reliable intelligent environments, 2017-08, Vol.3 (2), p.117-130
2017
Volltextzugriff (PDF)
Programming Languages and Systems, p.350-367
Volltextzugriff (PDF)
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014, p.1-10
2014
Volltextzugriff (PDF)
Automated Deduction - CADE 26, 2017, Vol.10395, p.472-490
2017
Volltextzugriff (PDF)
Journal of ambient intelligence and smart environments, 2018-01, Vol.10 (3), p.261-273
2018
Volltextzugriff (PDF)
International journal of approximate reasoning, 2009-12, Vol.51 (1), p.1-22
2009
Volltextzugriff (PDF)
Foundations of Information and Knowledge Systems, p.132-150
Volltextzugriff (PDF)
Journal of logic and computation, 2010-04, Vol.20 (2), p.481-499
2010
Volltextzugriff (PDF)
International journal of approximate reasoning, 2010, Vol.51 (1), p.1-22
2010
Volltextzugriff (PDF)
Automated Reasoning with Analytic Tableaux and Related Methods, p.287-303
Volltextzugriff (PDF)
Foundations of Software Science and Computation Structures, p.411-425
Volltextzugriff (PDF)
Formal aspects of computing, 2007-11, Vol.19 (4), p.417-444
2007
Volltextzugriff (PDF)
Formal aspects of computing, 2007-03, Vol.19 (1), p.35-62
2007
Volltextzugriff (PDF)
Formal aspects of computing, 2007-06, Vol.19 (2), p.273-273
2007
Volltextzugriff (PDF)
Static Analysis, p.25-42
Volltextzugriff (PDF)
Studia logica, 2002-02, Vol.70 (1), p.131-156
2002
Volltextzugriff (PDF)
SIGPLAN notices, 2016-04, Vol.51 (1), p.84-96
2016
Volltextzugriff (PDF)
2017 International Conference on Intelligent Environments (IE), 2017, p.92-99
2017
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Artificial Intelligence
- Logic
- Separation Logic
- Applied Sciences
- Artificial Intelligence
- Computer Science, Theory & Methods
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Science & Technology - Other Topics
- Computer Science, Information Systems
- Concurrency
- Inductive Rule
- Propositional Logic
- Software Engineering
- Theoretical Computing
- Algorithmics. Computability. Computer Arithmetics
Kollektion
- Ingenta
- EZB Electronic Journals Library
- ACM Digital Library Complete
- SpringerLink Series
- Elsevier ScienceDirect Journals Complete
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IEL
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Oxford Journals
- JSTOR
- Journals@Ovid Complete
Zeitschrift / Serie
- Formal Aspects Of Computing
- International Journal Of Approximate Reasoning
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Artificial Intelligence
- Electronic Notes In Theoretical Computer Science
- Journal Of Ambient Intelligence And Smart Environments
- Journal Of Logic And Computation
- Journal Of Reliable Intelligent Environments
- Sigplan Notices