Sortiert nach
Lecture notes in computer science, 2006, p.389-403
2006
Volltextzugriff (PDF)
Computer Science Logic, 2002, p.537-552
2002
Volltextzugriff (PDF)
2004
Volltextzugriff (PDF)
2004
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2004-02, Vol.93, p.118-137
2004
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2004-02, Vol.93, p.102-117
2004
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.145-159
2004
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Type Theory
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Science & Technology
- Technology
- Computer Science, Artificial Intelligence
- Computer Science, Theory & Methods
- Interactive Theorem Proving
- Mathematics
- Algorithmics. Computability. Computer Arithmetics
- Artificial Intelligence
- Computer Science, Information Systems
- Computer Science, Interdisciplinary Applications
- Formalization
- Formulas-As-Types
- Information Systems. Data Bases
- Learning And Adaptive Systems
- Memory Organisation. Data Processing
Kollektion
Zeitschrift / Serie