Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- mathematics 3 Treffer
- computer 2 Treffer
- computer.software_genre 2 Treffer
- constructive proof 2 Treffer
- mathematical proof 2 Treffer
-
45 weitere Werte:
- 01 natural sciences 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
- 03b35 1 Treffer
- 54a05 1 Treffer
- algebra 1 Treffer
- algebra and number theory 1 Treffer
- algebraic topology 1 Treffer
- algebraic topology (math.at) 1 Treffer
- align 1 Treffer
- applied mathematics 1 Treffer
- betti number 1 Treffer
- calculus of constructions 1 Treffer
- classification theorem 1 Treffer
- computational geometry 1 Treffer
- computational theory and mathematics 1 Treffer
- computer science 1 Treffer
- computer science - logic in computer science 1 Treffer
- computer science applications 1 Treffer
- computer.file_format 1 Treffer
- computingmethodologies_computergraphics 1 Treffer
- control and optimization 1 Treffer
- executable 1 Treffer
- extension (predicate logic) 1 Treffer
- field (mathematics) 1 Treffer
- filter 1 Treffer
- filter (mathematics) 1 Treffer
- fixed point 1 Treffer
- formal proof 1 Treffer
- formal specification 1 Treffer
- fos: computer and information sciences 1 Treffer
- fos: mathematics 1 Treffer
- general computer science 1 Treffer
- geometric modeling 1 Treffer
- geometry and topology 1 Treffer
- logic 1 Treffer
- logic in computer science (cs.lo) 1 Treffer
- mathematical theory 1 Treffer
- mathematics - algebraic topology 1 Treffer
- normalization (statistics) 1 Treffer
- open set 1 Treffer
- optical character recognition 1 Treffer
- persistent homology 1 Treffer
Verlag
Publikation
Sprache
4 Treffer
-
In: ACM Transactions on Computational Logic, Jg. 14 (2013-11-01), S. 1-16Online unknownZugriff:
-
In: Journal of Symbolic Computation, Jg. 15 (1993-05-01), Heft 5-6, S. 607-640Online unknownZugriff:
-
In: Formalized Mathematics, Jg. 28 (2020-10-01), Heft 3, S. 227-237Online unknownZugriff:
-
In: Computational Geometry, Jg. 47 (2014-10-01), S. 869-890Online unknownZugriff: