Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 3 Treffer
- 02 engineering and technology 3 Treffer
- 0202 electrical engineering, electronic engineering, information engineering 3 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 3 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 3 Treffer
-
45 weitere Werte:
- 0102 computer and information sciences 2 Treffer
- 010201 computation theory & mathematics 2 Treffer
- computer 2 Treffer
- computer.software_genre 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
- mathematical proof 2 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 1 Treffer
- [info]computer science [cs] 1 Treffer
- [math]mathematics [math] 1 Treffer
- 000 computer science, knowledge, general works 1 Treffer
- 0101 mathematics 1 Treffer
- 010102 general mathematics 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- 020206 networking & telecommunications 1 Treffer
- 020207 software engineering 1 Treffer
- acm: f.: theory of computation/f.4: mathematical logic and formal languages/f.4.1: mathematical logic 1 Treffer
- action semantics 1 Treffer
- artificial intelligence 1 Treffer
- artificial intelligence (cs.ai) 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- calculus 1 Treffer
- categorical semantics 1 Treffer
- category theory (math.ct) 1 Treffer
- cluster analysis 1 Treffer
- computational semantics 1 Treffer
- computer science - artificial intelligence 1 Treffer
- computer science - cryptography and security 1 Treffer
- computer science - learning 1 Treffer
- computer.programming_language 1 Treffer
- context (language use) 1 Treffer
- cryptography and security (cs.cr) 1 Treffer
- denotational semantics 1 Treffer
- extension (predicate logic) 1 Treffer
- f.3.2 1 Treffer
- formal semantics (linguistics) 1 Treffer
- fos: mathematics 1 Treffer
- game semantics 1 Treffer
- i.2.6 1 Treffer
- interfacing 1 Treffer
- interpretation (logic) 1 Treffer
Verlag
4 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 197 (2015-11-08), S. 15-28Online unknownZugriff:
-
2013Online unknownZugriff: