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, 2024-01, Vol.20, Issue 1
2024
Volltextzugriff (PDF)
Journal of automated reasoning, 2011-12, Vol.47 (4), p.481-501
2011
Volltextzugriff (PDF)
Logical methods in computer science, 2019-01, Vol.15, Issue 3
2019
Volltextzugriff (PDF)
Automated Reasoning, 2010, p.487-501
2010
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, 2012, p.258-273
2012
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.249-268
2004
Volltextzugriff (PDF)
Information and computation, 2007-04, Vol.205 (4), p.474-511
2007
Volltextzugriff (PDF)
Rewriting and Typed Lambda Calculi, 2014, p.257-271
2014
Volltextzugriff (PDF)
Automated Deduction - CADE-25, p.127-136
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-02, Vol.49 (Proc. HOR 2010), p.46-57
2011
Volltextzugriff (PDF)
Logic for Programming, Artificial Intelligence, and Reasoning, p.652-666
Volltextzugriff (PDF)
Functional and Logic Programming, 2014, p.319-335
2014
Volltextzugriff (PDF)
Information and computation, 2005-05, Vol.199 (1), p.172-199
2005
Volltextzugriff (PDF)
Journal of automated reasoning, 2013-03, Vol.50 (3), p.279-315
2013
Volltextzugriff (PDF)
Theory and practice of logic programming, 2016-03, Vol.16 (2), p.163-188
2016
Volltextzugriff (PDF)
Automated Reasoning, 2018, Vol.10900, p.346-353
2018
Volltextzugriff (PDF)
Interactive Theorem Proving, 2014, p.292-307
2014
Volltextzugriff (PDF)
Automated Deduction - CADE-25, p.101-104
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.313-327
2006
Volltextzugriff (PDF)
Journal of automated reasoning, 2009-08, Vol.43 (2), p.173-201
2009
Volltextzugriff (PDF)
Automated Deduction – CADE 27, 2019, p.319-336
2019
Volltextzugriff (PDF)
SOFSEM 2007: Theory and Practice of Computer Science, p.579-590
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.175-184
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.185-198
2004
Volltextzugriff (PDF)
Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024, p.147-161
2024
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Term Rewriting
- Computer Science, Artificial Intelligence
- Life Sciences & Biomedicine
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Computer Science, Software Engineering
- Surgery
- Theoretical Computing
- Termination
- Adult
- Aged
- Aged, 80 And Over
- Confluence
- Female
- Humans
Kollektion
- IngentaConnect
- HEAL-Link subscriptions: Springer Book Series
- EZB Electronic Journals Library
- MEDLINE
- Journals@Ovid Ovid Full Text
- Springer Online Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- IEEE Xplore
- Elsevier ScienceDirect Journals Complete
- Wiley Online Library
- Ebook Central Perpetual and DDA
- Cambridge Journals Online (DEFF)
- ACM Digital Library
- eBooks on EBSCOhost
- SAGE Journals Online
- Publisher website
Zeitschrift / Serie
- Lecture Notes In Computer Science
- Endocrine Journal
- Journal Of Automated Reasoning
- Digestive Surgery
- Information And Computation
- Logical Methods In Computer Science
- Artificial Intelligence And Symbolic Computation, Proceedings
- Automated Deduction - Cade-19, Proceedings
- Electronic Proceedings In Theoretical Computer Science
- Information Engineering Express