Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- coq 2 Treffer
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 02 engineering and technology 1 Treffer
-
35 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- algebra 1 Treffer
- associative property 1 Treffer
- binomial theorem 1 Treffer
- bounded function 1 Treffer
- brouwer fixed-point theorem 1 Treffer
- characterization (mathematics) 1 Treffer
- combinatorics 1 Treffer
- commutative property 1 Treffer
- computer science(all) 1 Treffer
- corollary 1 Treffer
- equivalence (formal languages) 1 Treffer
- equivalence relation 1 Treffer
- fundamental theorem 1 Treffer
- generalized maps 1 Treffer
- genus (mathematics) 1 Treffer
- homeomorphism 1 Treffer
- law 1 Treffer
- law.invention 1 Treffer
- modulo 1 Treffer
- monomial 1 Treffer
- natural number 1 Treffer
- order (ring theory) 1 Treffer
- orientability 1 Treffer
- proof 1 Treffer
- proof assistant 1 Treffer
- rank (linear algebra) 1 Treffer
- series (mathematics) 1 Treffer
- sieve 1 Treffer
- soundness 1 Treffer
- specification 1 Treffer
- surface (topology) 1 Treffer
- surfaces 1 Treffer
- unification 1 Treffer
3 Treffer
-
In: Theoretical Computer Science, Jg. 323 (2004-09-01), Heft 1-3, S. 399-442Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 546 (2014-08-01), S. 244-256Online unknownZugriff:
-
In: Theoretical Computer Science, Jg. 781 (2019-08-01), S. 3-23Online unknownZugriff: