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...1, 2014
Volltextzugriff (PDF)
Fundamenta informaticae, 2022-01, Vol.185 (4), p.313-336
2022
Volltextzugriff (PDF)
1, 2004
Volltextzugriff (PDF)
1. Aufl., 2005
Volltextzugriff (PDF)
Indagationes mathematicae, 2013-11, Vol.24 (4), p.1034-1049
2013
Volltextzugriff (PDF)
The Mathematical intelligencer, 2012-12, Vol.34 (4), p.4-11
2012
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.145-159
2004
Volltextzugriff (PDF)
Journal of logic, language, and information, 2004-01, Vol.13 (3), p.287-340
2004
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.134-154
2004
Volltextzugriff (PDF)
Type Theory and Formal Proof, 2014, p.425-436
2014
Volltextzugriff (PDF)
Type Theory and Formal Proof, 2014, p.xxvii-xxvii
2014
Volltextzugriff (PDF)
Type Theory and Formal Proof, 2014, p.409-410
2014
Volltextzugriff (PDF)
Type Theory and Formal Proof, 2014, p.397-402
2014
Volltextzugriff (PDF)
Functional and Logic Programming, 2001, p.375-389
2001
Volltextzugriff (PDF)
Theoretical computer science, 1996-02, Vol.155 (1), p.85-109
1996
Volltextzugriff (PDF)
Journal of functional programming, 1995-10, Vol.5 (4), p.637-651
1995
Volltextzugriff (PDF)
Type Theory and Formal Proof, 2014, p.421-422
2014
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Logic
- Science & Technology - Other Topics
- Mathematical Foundations
- Mathematical Theory Of Computation
- Philosophy: Logic
- Mathematics
- Type Theory
- Physical Sciences
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Theoretical Computing
- Mathematical Logic
- Mathematics, Applied
- Algorithmics. Computability. Computer Arithmetics
- Logic, Symbolic And Mathematical
Kollektion
- Ebook Central Perpetual and DDA
- Cambridge University Press online books
- eBooks on EBSCOhost
- Cambridge Core All Books
- Ingenta
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Collection
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Springer Journals
- JSTOR
- SpringerLink Series
- Cambridge Journals Online (DEFF)
- ScienceDirect eBooks
- Journals@Ovid Full Text
- ACM Digital Library
- Business Source Ultimate【Trial: -2024/12/31】【Remote access available】
- Oxford Journals
- MEDLINE
- Project Euclid Complete
Zeitschrift / Serie