Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info.info-na] computer science [cs]/numerical analysis [cs.na] 1 Treffer
- [info.info-na]computer science [cs]/numerical analysis [cs.na] 1 Treffer
- [info.info-sc] computer science [cs]/symbolic computation [cs.sc] 1 Treffer
-
26 weitere Werte:
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 02 engineering and technology 1 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 1 Treffer
- 020207 software engineering 1 Treffer
- computer 1 Treffer
- computer science 1 Treffer
- computer science::mathematical software 1 Treffer
- computer.file_format 1 Treffer
- coq proof assistant 1 Treffer
- correctness 1 Treffer
- data structure 1 Treffer
- discrete mathematics 1 Treffer
- executable 1 Treffer
- formal verification 1 Treffer
- human interaction 1 Treffer
- mathematical proof 1 Treffer
- mathematics 1 Treffer
- noetherian 1 Treffer
- point (geometry) 1 Treffer
- square root 1 Treffer
- structural induction 1 Treffer
- theorem provers 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- univariate 1 Treffer
Publikation
2 Treffer
-
In: 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013-09-01Online unknownZugriff:
-
In: 2016 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2016-09-01Online unknownZugriff: