Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 6 Treffer
- abstraction 1 Treffer
- algebra 1 Treffer
- bicategories 1 Treffer
- category theory 1 Treffer
-
33 weitere Werte:
- choice 1 Treffer
- computability theory 1 Treffer
- computable analysis 1 Treffer
- concurrency 1 Treffer
- constructive mathematics 1 Treffer
- constructive type theory 1 Treffer
- coq proof assistant 1 Treffer
- creative telescoping 1 Treffer
- dependent type theory 1 Treffer
- first-order logic 1 Treffer
- formal proof 1 Treffer
- formal proofs 1 Treffer
- homotopy type theory 1 Treffer
- immortality 1 Treffer
- iris 1 Treffer
- irrationality 1 Treffer
- linearizability 1 Treffer
- mechanization 1 Treffer
- model checking 1 Treffer
- models 1 Treffer
- monad 1 Treffer
- number 1 Treffer
- number theory 1 Treffer
- peano arithmetic 1 Treffer
- proofs 1 Treffer
- refinement 1 Treffer
- riemann zeta function 1 Treffer
- semantics 1 Treffer
- separation logic 1 Treffer
- spaces 1 Treffer
- state 1 Treffer
- symbolic computation 1 Treffer
- undecidability 1 Treffer
Sprache
9 Treffer
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!Online academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff:
-
Dieser Titel kann aus lizenzrechtlichen Gründen nur im Campusnetz oder nach Anmeldung angezeigt werden!academicJournalZugriff: