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-se]computer science [cs]/software engineering [cs.se] 1 Treffer
- 01 natural sciences 1 Treffer
- 0102 computer and information sciences 1 Treffer
- 010201 computation theory & mathematics 1 Treffer
-
36 weitere Werte:
- 020204 information systems 1 Treffer
- 020206 networking & telecommunications 1 Treffer
- 020207 software engineering 1 Treffer
- automated theorem proving 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- calculus 1 Treffer
- certification 1 Treffer
- coinduction 1 Treffer
- computational theory and mathematics 1 Treffer
- computer 1 Treffer
- computer science - human-computer interaction 1 Treffer
- computer science - learning 1 Treffer
- computer science - programming languages 1 Treffer
- computer science::logic in computer science 1 Treffer
- computer science::programming languages 1 Treffer
- computer.software_genre 1 Treffer
- hol 1 Treffer
- human-computer interaction (cs.hc) 1 Treffer
- logic 1 Treffer
- machine learning (cs.lg) 1 Treffer
- mathematical proof 1 Treffer
- principle of compositionality 1 Treffer
- problem domain 1 Treffer
- programming languages (cs.pl) 1 Treffer
- protocol (object-oriented programming) 1 Treffer
- reachability 1 Treffer
- reuse 1 Treffer
- scripting language 1 Treffer
- serialization 1 Treffer
- server 1 Treffer
- software engineering 1 Treffer
- soundness 1 Treffer
- theoretical computer science 1 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
Sprache
2 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 239 (2017), S. 15-27Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff: