Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- computability theory 6 Treffer
- constructive type theory 6 Treffer
- undecidability 5 Treffer
- dependent type theory 4 Treffer
- formal proofs 4 Treffer
-
45 weitere Werte:
- formal verification 4 Treffer
- computable analysis 3 Treffer
- first-order logic 3 Treffer
- formalization 3 Treffer
- lambda calculus 3 Treffer
- monads 3 Treffer
- proof assistant 3 Treffer
- proof assistants 3 Treffer
- synthetic computability 3 Treffer
- theorem proving 3 Treffer
- blockchain 2 Treffer
- calculus of inductive constructions 2 Treffer
- category theory 2 Treffer
- certification 2 Treffer
- church's thesis 2 Treffer
- constructive mathematics 2 Treffer
- edf 2 Treffer
- elpi 2 Treffer
- exact real computation 2 Treffer
- extraction 2 Treffer
- fixed priority 2 Treffer
- formal proof 2 Treffer
- formalisation 2 Treffer
- fractran 2 Treffer
- hard real-time systems 2 Treffer
- hoare logic 2 Treffer
- homotopy type theory 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
- program verification 2 Treffer
- property-based testing 2 Treffer
- prosa 2 Treffer
- response time 2 Treffer
- response-time analysis 2 Treffer
- smart contracts 2 Treffer
- system f 2 Treffer
- type theory 2 Treffer
- uniprocessor 2 Treffer
- univalent mathematics 2 Treffer
Publikation
Sprache
65 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: