Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 65 Treffer
- computability theory 7 Treffer
- constructive type theory 7 Treffer
- dependent type theory 5 Treffer
- proof assistants 5 Treffer
-
45 weitere Werte:
- undecidability 5 Treffer
- formal proofs 4 Treffer
- formal verification 4 Treffer
- program verification 4 Treffer
- agda 3 Treffer
- blockchain 3 Treffer
- category theory 3 Treffer
- computable analysis 3 Treffer
- constructive mathematics 3 Treffer
- coq proof assistant 3 Treffer
- dependent types 3 Treffer
- first-order logic 3 Treffer
- formal proof 3 Treffer
- formalisation 3 Treffer
- formalization 3 Treffer
- hoare logic 3 Treffer
- homotopy type theory 3 Treffer
- lambda calculus 3 Treffer
- monads 3 Treffer
- monoidal categories 3 Treffer
- proof assistant 3 Treffer
- smart contracts 3 Treffer
- synthetic computability 3 Treffer
- system f 3 Treffer
- theorem proving 3 Treffer
- calculus of inductive constructions 2 Treffer
- certification 2 Treffer
- church's thesis 2 Treffer
- edf 2 Treffer
- elpi 2 Treffer
- exact real computation 2 Treffer
- extraction 2 Treffer
- fixed priority 2 Treffer
- fractran 2 Treffer
- hard real-time systems 2 Treffer
- higher-order rewriting 2 Treffer
- impredicativity 2 Treffer
- mathematical components 2 Treffer
- minsky machines 2 Treffer
- network calculus 2 Treffer
- non-preemptive 2 Treffer
- packed classes 2 Treffer
- peano arithmetic 2 Treffer
- preemptive 2 Treffer
- property-based testing 2 Treffer
Publikation
Sprache
85 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!KonferenzZugriff: