Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 2 Treffer
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- 020207 software engineering 2 Treffer
- computational theory and mathematics 2 Treffer
-
45 weitere Werte:
- computer 2 Treffer
- computer science - logic in computer science 2 Treffer
- computer science::logic in computer science 2 Treffer
- computer.programming_language 2 Treffer
- fos: computer and information sciences 2 Treffer
- logic in computer science (cs.lo) 2 Treffer
- mathematical proof 2 Treffer
- proof assistant 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 1 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 1 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- [info]computer science [cs] 1 Treffer
- [math.math-na]mathematics [math]/numerical analysis [math.na] 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020204 information systems 1 Treffer
- acm: f.: theory of computation/f.3: logics and meanings of programs/f.3.1: specifying and verifying and reasoning about programs 1 Treffer
- acoustic wave equation 1 Treffer
- agda 1 Treffer
- algorithm 1 Treffer
- artificial intelligence 1 Treffer
- axiom 1 Treffer
- calculus 1 Treffer
- code (cryptography) 1 Treffer
- coinduction 1 Treffer
- computation 1 Treffer
- computer science::mathematical software 1 Treffer
- computer.software_genre 1 Treffer
- confluence 1 Treffer
- dependent types 1 Treffer
- fos: mathematics 1 Treffer
- hol 1 Treffer
- lcsh:electronic computers. computer science 1 Treffer
- lcsh:mathematics 1 Treffer
- lcsh:qa1-939 1 Treffer
- lcsh:qa75.5-76.95 1 Treffer
- logic 1 Treffer
- mathematics - numerical analysis 1 Treffer
- numerical analysis 1 Treffer
- numerical analysis (math.na) 1 Treffer
- partial differential equation 1 Treffer
- principle of compositionality 1 Treffer
- problem domain 1 Treffer
- programming language 1 Treffer
- reachability 1 Treffer
Verlag
Sprache
3 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff: