Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 2 Treffer
- 0101 mathematics 2 Treffer
- 010102 general mathematics 2 Treffer
- 010103 numerical & computational mathematics 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
-
28 weitere Werte:
- algorithm 1 Treffer
- automated reasoning 1 Treffer
- automated theorem proving 1 Treffer
- calculus of constructions 1 Treffer
- computational logic 1 Treffer
- computer.file_format 1 Treffer
- computingmethodologies_symbolicandalgebraicmanipulation 1 Treffer
- constructive proof 1 Treffer
- correctness 1 Treffer
- discrete mathematics 1 Treffer
- executable 1 Treffer
- fixed point 1 Treffer
- hol 1 Treffer
- intuitionistic type theory 1 Treffer
- matching (graph theory) 1 Treffer
- mathematical proof 1 Treffer
- mathematical software 1 Treffer
- mizar system 1 Treffer
- normalization (statistics) 1 Treffer
- primitive recursive function 1 Treffer
- process (engineering) 1 Treffer
- proof assistant 1 Treffer
- rewriting 1 Treffer
- rotation formalisms in three dimensions 1 Treffer
- set theory 1 Treffer
- similarity (psychology) 1 Treffer
- symbolic computation 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
Sprache
3 Treffer
-
In: Journal of Symbolic Computation, Jg. 15 (1993-05-01), Heft 5-6, S. 607-640Online unknownZugriff:
-
In: Journal of Symbolic Computation, 2019Online unknownZugriff:
-
In: Journal of Symbolic Computation, Jg. 39 (2005-05-01), Heft 5, S. 501-502Online unknownZugriff: