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] 2 Treffer
- 01 natural sciences 2 Treffer
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- 02 engineering and technology 2 Treffer
-
45 weitere Werte:
- 0202 electrical engineering, electronic engineering, information engineering 2 Treffer
- 020207 software engineering 2 Treffer
- algebra 2 Treffer
- computer science 2 Treffer
- computingmethodologies_symbolicandalgebraicmanipulation 2 Treffer
- fos: computer and information sciences 2 Treffer
- logic in computer science (cs.lo) 2 Treffer
- theoretical computer science 2 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 1 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 16. peace & justice 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 1 Treffer
- algebraic structure 1 Treffer
- automaton 1 Treffer
- bunched logic 1 Treffer
- computational logic 1 Treffer
- computer 1 Treffer
- computer science - symbolic computation 1 Treffer
- computer science::mathematical software 1 Treffer
- computer.software_genre 1 Treffer
- correctness 1 Treffer
- correctness proofs 1 Treffer
- decision procedure 1 Treffer
- description logic 1 Treffer
- distribution (number theory) 1 Treffer
- finite automata 1 Treffer
- finite-state machine 1 Treffer
- first-order logic 1 Treffer
- formal mathematics 1 Treffer
- formal proof 1 Treffer
- general computer science 1 Treffer
- higher-order logic 1 Treffer
- interface (java) 1 Treffer
- isabelle 1 Treffer
- kleene algebra 1 Treffer
- mathematical proof 1 Treffer
- mathematics 1 Treffer
- multivariate polynomials 1 Treffer
- multivariate statistics 1 Treffer
- order (ring theory) 1 Treffer
- programming language 1 Treffer
- proof calculus 1 Treffer
Sprache
3 Treffer
-
2010Online unknownZugriff:
-
2014Online unknownZugriff: