Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- proof assistant 2 Treffer
- 01 natural sciences 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 010103 numerical & computational mathematics 1 Treffer
-
34 weitere Werte:
- algebra 1 Treffer
- algorithm 1 Treffer
- automated reasoning 1 Treffer
- automated theorem proving 1 Treffer
- buchberger's algorithm 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- certification 1 Treffer
- computational logic 1 Treffer
- computer 1 Treffer
- computer.software_genre 1 Treffer
- computingmethodologies_symbolicandalgebraicmanipulation 1 Treffer
- correctness 1 Treffer
- formal development 1 Treffer
- formal methods 1 Treffer
- formal verification 1 Treffer
- functional programming 1 Treffer
- grobner bases 1 Treffer
- mathematical proof 1 Treffer
- mathematical software 1 Treffer
- media_common 1 Treffer
- media_common.quotation_subject 1 Treffer
- oracle 1 Treffer
- primality certificate 1 Treffer
- primality test 1 Treffer
- programming language 1 Treffer
- rewriting 1 Treffer
- software 1 Treffer
- software verification 1 Treffer
- source code 1 Treffer
- theorem provers 1 Treffer
- theoretical computer science 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
Verlag
Sprache
3 Treffer
-
In: Journal of Symbolic Computation, Jg. 32 (2001), Heft 1-2, S. 55-70Online unknownZugriff:
-
In: Journal of Symbolic Computation, Jg. 39 (2005-05-01), Heft 5, S. 501-502Online unknownZugriff:
-
In: Journal of Symbolic Computation, , Heft 5, S. 571-582Online unknownZugriff: