Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 6 Treffer
- 0102 computer and information sciences 6 Treffer
- 010201 computation theory & mathematics 6 Treffer
- 02 engineering and technology 6 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 6 Treffer
-
45 weitere Werte:
- mathematics 6 Treffer
- proof assistant 6 Treffer
- computer science 5 Treffer
- 020207 software engineering 4 Treffer
- computer 4 Treffer
- computer.software_genre 4 Treffer
- programming language 4 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 4 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 4 Treffer
- 020201 artificial intelligence & image processing 3 Treffer
- calculus 3 Treffer
- type theory 3 Treffer
- category theory 2 Treffer
- certification 2 Treffer
- class (set theory) 2 Treffer
- computer.programming_language 2 Treffer
- mathematical proof 2 Treffer
- mathematics::category theory 2 Treffer
- type (model theory) 2 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 16. peace & justice 1 Treffer
- algebra 1 Treffer
- algebra over a field 1 Treffer
- algorithm 1 Treffer
- axiom 1 Treffer
- bar induction 1 Treffer
- bytecode 1 Treffer
- caml 1 Treffer
- category theory (math.ct) 1 Treffer
- code (cryptography) 1 Treffer
- computation 1 Treffer
- computer science - logic in computer science 1 Treffer
- computer science [c05] [engineering, computing & technology] 1 Treffer
- computingmethodologies_documentandtextprocessing 1 Treffer
- computingmethodologies_symbolicandalgebraicmanipulation 1 Treffer
- congruence (geometry) 1 Treffer
- constructive 1 Treffer
- context (language use) 1 Treffer
- convergence (routing) 1 Treffer
- correctness 1 Treffer
- data science 1 Treffer
- digital security 1 Treffer
- discrete mathematics 1 Treffer
12 Treffer
-
In: Mathematical Structures in Computer Science, Jg. 32 (2022-10-01), S. 1205-1233Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 25 (2015-01-20), S. 1278-1294Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 31 (2021-03-01), S. 286-311Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 28 (2017-11-02), S. 942-990Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 26 (2015-02-23), S. 465-509Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 25 (2015-02-13), S. 1147-1171Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 25 (2015-01-19), S. 1010-1039Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 25 (2014-11-11), S. 867-891Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 23 (2013-05-17), S. 1032-1081Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 21 (2011-07-01), S. 683-714Online unknownZugriff:
-
In: Mathematical Structures in Computer Science, Jg. 21 (2011-07-01), S. 795-825Online unknownZugriff:
-
In: Mathematical Structures in Computer ScienceOnline unknownZugriff: