Sortiert nach
Journal of Formalized Reasoning, 2019-01, Vol.12 (1), p.11-51
2019
Link zum Volltext
Logical methods in computer science, 2017-02
2017
Link zum Volltext
Proceedings of the Eighth ACM SIGPLAN international workshop on logical frameworks & meta-languages: theory & practice, 2013, p.37-42
2013
Link zum Volltext
Proceedings of the seventh international workshop on logical frameworks and meta-languages, theory and practice, 2012, p.13-22
2012
Link zum Volltext
Types for Proofs and Programs, 1996, p.165-182
1996
Link zum Volltext
Lecture notes in computer science, 2001, Vol.2202, p.17-37
2001
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Logical Frameworks
- Computation And Language
- Logic In Computer Science
- Mathematics
- Science & Technology
- Abstract Automata
- Abstract Machines
- Ai
- Algorithms
- Applied Sciences
- Artificial Intelligence
- Artificial Thinking
- Automata
- Automatic Theorem Proving
- Automatic Theorem Proving -- Congresses
- Bionics
- Cognitive Science
- Compact Element
Kollektion
Zeitschrift / Serie