Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 0102 computer and information sciences 6 Treffer
- 010201 computation theory & mathematics 6 Treffer
- 020207 software engineering 6 Treffer
- proof assistant 5 Treffer
- 16. peace & justice 4 Treffer
-
45 weitere Werte:
- computer science::logic in computer science 4 Treffer
- general computer science 4 Treffer
- theoretical computer science 4 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 4 Treffer
- 020201 artificial intelligence & image processing 3 Treffer
- computingmethodologies_symbolicandalgebraicmanipulation 3 Treffer
- correctness 3 Treffer
- mathematical proof 3 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- 0101 mathematics 2 Treffer
- 010102 general mathematics 2 Treffer
- computer 2 Treffer
- computer science - programming languages 2 Treffer
- computer science::programming languages 2 Treffer
- computer.programming_language 2 Treffer
- computingmilieux_miscellaneous 2 Treffer
- coq 2 Treffer
- f.4.1 2 Treffer
- lcsh:electronic computers. computer science 2 Treffer
- lcsh:mathematics 2 Treffer
- lcsh:qa1-939 2 Treffer
- lcsh:qa75.5-76.95 2 Treffer
- mathematics::metric geometry 2 Treffer
- order (ring theory) 2 Treffer
- programming languages (cs.pl) 2 Treffer
- software 2 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 2 Treffer
- [info.info-dm]computer science [cs]/discrete mathematics [cs.dm] 1 Treffer
- [info.info-lo] computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 1 Treffer
- [math.math-co] mathematics [math]/combinatorics [math.co] 1 Treffer
- [math.math-co]mathematics [math]/combinatorics [math.co] 1 Treffer
- [math.math-oc] mathematics [math]/optimization and control [math.oc] 1 Treffer
- [math.math-oc]mathematics [math]/optimization and control [math.oc] 1 Treffer
- [math]mathematics [math] 1 Treffer
- 010103 numerical & computational mathematics 1 Treffer
- abstract syntax 1 Treffer
- agda 1 Treffer
- algebraic number 1 Treffer
- algebraic structure 1 Treffer
- artificial intelligence 1 Treffer
- automaton 1 Treffer
- bisimulation 1 Treffer
- bit array 1 Treffer
- combinatorics (math.co) 1 Treffer
Verlag
Sprache
8 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, 2019Online unknownZugriff:
-
2010Online unknownZugriff: