Sortiert nach
Electronic proceedings in theoretical computer science, 2024-04, Vol.400, p.1-1
2024
Volltextzugriff (PDF)
Journal of Formalized Reasoning, 2014-10, Vol.7 (1), p.105-129
2014
Volltextzugriff (PDF)
Theoretical Aspects of Computing – ICTAC 2018, p.3-10
Volltextzugriff (PDF)
Journal of Formalized Reasoning, 2020-12, Vol.13 (1), p.1-16
2020
Volltextzugriff (PDF)
Journal of Formalized Reasoning, 2021-03, Vol.13 (1), p.1-16
2021
Volltextzugriff (PDF)
Journal of Formalized Reasoning, 2021-03, Vol.13 (1)
2021
Volltextzugriff (PDF)
Journal of Formalized Reasoning, 2020-01, Vol.13 (1), p.1-16
2020
Volltextzugriff (PDF)
Journal of automated reasoning, 2018-06, Vol.61 (1-4), p.33-71
2018
Volltextzugriff (PDF)
Journal of automated reasoning, 2018-06, Vol.61 (1-4), p.33-71
2018
Volltextzugriff (PDF)
Interactive Theorem Proving, p.163-179
Volltextzugriff (PDF)
Theorem Proving in Higher Order Logics, p.12-16
Volltextzugriff (PDF)
Mathematical structures in computer science, 2007-02, Vol.17 (1), p.37-63
2007
Volltextzugriff (PDF)
Language Engineering and Rigorous Software Development, p.153-194
Volltextzugriff (PDF)
Logics and Type Systems in Theory and Practice, 2024, Vol.14560, p.36-53
2024
Volltextzugriff (PDF)
Typed Lambda Calculi and Applications, p.102-115
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2008-06, Vol.203 (5), p.25-47
2008
Volltextzugriff (PDF)
Mathematical structures in computer science, 2011-08, Vol.21 (4), p.731-761
2011
Volltextzugriff (PDF)
Theorem Proving in Higher Order Logics, p.86-101
Volltextzugriff (PDF)
Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015, p.147-155
2015
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.102-115
2005
Volltextzugriff (PDF)
CAAP '92, 2005, p.49-65
2005
Volltextzugriff (PDF)
Algebraic Methodology and Software Technology, 2005, p.16-29
2005
Volltextzugriff (PDF)
Computer Aided Verification, 2001, p.14-24
2001
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Artificial Intelligence
- Problem Solving, Game Playing
- Theoretical Computing
- Language Theory And Syntactical Analysis
- Mathematics
- High Order Logic
- Logic In Computer Science
- Theorem Prove
- Computer Science, Software Engineering
- Coq
- Algorithms
- Physical Sciences
- Programming Theory
Kollektion
- IngentaConnect
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- IngentaConnect Journals
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- ACM Digital Library
- Access via ScienceDirect (Elsevier)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Journals@Ovid Ovid Full Text
- SpringerNature Journals
- Cambridge Journals Online (DEFF)
- Access via Wiley Online Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Wiley Online Library Full Collection 2018
- IEEE Xplore
- Single Journals
Zeitschrift / Serie
- Journal Of Formalized Reasoning
- Electronic Notes In Theoretical Computer Science
- Journal Of Automated Reasoning
- Hal
- Mathematical Structures In Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Formal Aspects Of Computing
- Journal Of Symbolic Computation
- Mscs. Mathematical Structures In Computer Science/mathematical Structures In Computer Science
- Proc.5th Acm Sigsoft Symp.On Software Development Environments
Neu hinzugefügt