Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 74 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 47 Treffer
- coq 46 Treffer
- formal proof 25 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 23 Treffer
-
45 weitere Werte:
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 17 Treffer
- [info]computer science [cs] 13 Treffer
- floating-point arithmetic 13 Treffer
- [math.math-ca]mathematics [math]/classical analysis and odes [math.ca] 9 Treffer
- formal proofs 9 Treffer
- measure theory 9 Treffer
- proof assistant 9 Treffer
- abstract interpretation 8 Treffer
- coq proof assistant 8 Treffer
- ssreflect 8 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 7 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 7 Treffer
- decision procedure 7 Treffer
- interactive theorem proving 7 Treffer
- interval arithmetic 7 Treffer
- modular arithmetic 7 Treffer
- [math.math-fa]mathematics [math]/functional analysis [math.fa] 6 Treffer
- [math.math-na]mathematics [math]/numerical analysis [math.na] 6 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 6 Treffer
- acm: g.: mathematics of computing/g.1: numerical analysis/g.1.8: partial differential equations/g.1.8.2: finite difference methods 6 Treffer
- acoustic wave equation 6 Treffer
- convergence of numerical scheme 6 Treffer
- geometry 6 Treffer
- lebesgue integration 6 Treffer
- partial differential equation 6 Treffer
- proof assistants 6 Treffer
- rounding error analysis 6 Treffer
- [math.math-co]mathematics [math]/combinatorics [math.co] 5 Treffer
- convex polyhedra 5 Treffer
- howe's method 5 Treffer
- linear programming 5 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 4 Treffer
- [info.info-ds]computer science [cs]/data structures and algorithms [cs.ds] 4 Treffer
- [info.info-oh]computer science [cs]/other [cs.oh] 4 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 4 Treffer
- [math.math-lo]mathematics [math]/logic [math.lo] 4 Treffer
- bdd 4 Treffer
- constructive type theory 4 Treffer
- dynamic geometry 4 Treffer
- formalization of mathematics 4 Treffer
- graph theory 4 Treffer
- hensel's lemma 4 Treffer
- higher-order process calculus 4 Treffer
- minor 4 Treffer
- monad 4 Treffer
Sprache
129 Treffer
-
In: ISSN: 0168-7433, 2022Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2022Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2022Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2022Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2022Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2021Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2023Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff:
-
In: ISSN: 0168-7433, 2020Online academicJournalZugriff: