Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- business 2 Treffer
- business.industry 2 Treffer
- mathematical proof 2 Treffer
- proof assistant 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
-
30 weitere Werte:
- algebra 1 Treffer
- calculus of constructions 1 Treffer
- computer 1 Treffer
- computer.file_format 1 Treffer
- computer.software_genre 1 Treffer
- constructive proof 1 Treffer
- correctness 1 Treffer
- data structure 1 Treffer
- dependent types 1 Treffer
- discrete mathematics 1 Treffer
- executable 1 Treffer
- fixed point 1 Treffer
- formal development 1 Treffer
- hoare logic 1 Treffer
- imperative programming 1 Treffer
- modular design 1 Treffer
- normalization (statistics) 1 Treffer
- oracle 1 Treffer
- pointer (computer programming) 1 Treffer
- primality certificate 1 Treffer
- primality test 1 Treffer
- primitive recursive function 1 Treffer
- program verification 1 Treffer
- programming language 1 Treffer
- rotation formalisms in three dimensions 1 Treffer
- separation logic 1 Treffer
- software 1 Treffer
- symbolic computation 1 Treffer
- theoretical computer science 1 Treffer
- traces 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, Jg. 46 (2011-02-01), S. 95-118Online unknownZugriff:
-
In: Journal of Symbolic Computation, Jg. 32 (2001), Heft 1-2, S. 55-70Online unknownZugriff: