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] 2 Treffer
- 020207 software engineering 2 Treffer
- computer science 2 Treffer
- mathematical proof 2 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 2 Treffer
-
33 weitere Werte:
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 1 Treffer
- 020201 artificial intelligence & image processing 1 Treffer
- class (computer programming) 1 Treffer
- code (cryptography) 1 Treffer
- computer science - programming languages 1 Treffer
- computer.programming_language 1 Treffer
- extension (predicate logic) 1 Treffer
- f.4.1 1 Treffer
- fermat's last theorem 1 Treffer
- functional programming 1 Treffer
- hol 1 Treffer
- i.2.3 1 Treffer
- impredicativity 1 Treffer
- inductive reasoning 1 Treffer
- interoperability 1 Treffer
- iterative and incremental development 1 Treffer
- logical framework 1 Treffer
- mathematics 1 Treffer
- media_common 1 Treffer
- media_common.quotation_subject 1 Treffer
- operational semantics 1 Treffer
- programming languages (cs.pl) 1 Treffer
- reusability 1 Treffer
- scheme (programming language) 1 Treffer
- semantics (computer science) 1 Treffer
- semantics of programming languages 1 Treffer
- simple type theory 1 Treffer
- source code 1 Treffer
- subject reduction 1 Treffer
- term (time) 1 Treffer
- theorem provers 1 Treffer
- theorem proving 1 Treffer
- type theory 1 Treffer
Sprache
3 Treffer
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 274 (2018-07-01), S. 57-71Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 149 (2014-04-01), S. 64-78Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 191, S. 143-157Online unknownZugriff: