Sortiert nach
Electronic proceedings in theoretical computer science, 2018, Vol.284 (Proc. F-IDE 2018), p.71-84
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-10, Vol.167 (Proc. UITP 2014), p.84-94
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-07, Vol.118 (Proc. UITP 2012), p.57-71
2013
Volltextzugriff (PDF)
Theorem Proving in Higher Order Logics, p.23-42
Volltextzugriff (PDF)
Formal aspects of computing, 2019-12, Vol.31 (6), p.675-698
2019
Volltextzugriff (PDF)
Intelligent Computer Mathematics, 2019, Vol.11617, p.1-15
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-02, Vol.79 (Proc. THedu 2011), p.143-153
2012
Volltextzugriff (PDF)
Journal of automated reasoning, 2016-03, Vol.56 (3), p.261-282
2016
Volltextzugriff (PDF)
Interactive Theorem Proving, p.418-434
Volltextzugriff (PDF)
Interactive Theorem Proving, p.515-530
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2023, Vol.375, p.92-111
2023
Volltextzugriff (PDF)
Intelligent Computer Mathematics, p.244-259
Volltextzugriff (PDF)
Intelligent Computer Mathematics, p.468-471
Volltextzugriff (PDF)
1, 2012
Volltextzugriff (PDF)
Theorem Proving in Higher Order Logics, p.391-407
Volltextzugriff (PDF)
Theorem Proving in Higher Order Logics, p.452-468
Volltextzugriff (PDF)
Theorem Proving in Higher Order Logics, p.73-78
Volltextzugriff (PDF)
Types for Proofs and Programs, p.160-174
Volltextzugriff (PDF)
Theorem Proving in Higher Order Logics, p.60-66
Volltextzugriff (PDF)
Theorem Proving in Higher Order Logics, p.33-38
Volltextzugriff (PDF)
Types for Proofs and Programs, p.153-168
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.17-30
2006
Volltextzugriff (PDF)
Intelligent Computer Mathematics, p.342-357
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2012-09, Vol.285, p.101-114
2012
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Information Systems
- Proof Assistant
- Computer Science, Artificial Intelligence
- Mathematical Logic And Formal Languages
- Mathematics
- Artificial Intelligence
- Computer Science, Software Engineering
- Isabelle
- Logics And Meanings Of Programs
- Natural Deduction
- Proof Obligation
- Proof Tree
- Separation Logic
- Symbolic And Algebraic Manipulation
- Automate Reasoning
- Concrete Syntax
Kollektion
- IngentaConnect
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elektronische Zeitschriftenbibliothek - Frei zugängliche E-Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerNature Journals
- Journals@Ovid Ovid Full Text
- Access via ACM Digital Library
- Access via ScienceDirect (Elsevier)