Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- 01 natural sciences 5 Treffer
- 020207 software engineering 5 Treffer
- 0102 computer and information sciences 4 Treffer
- 010201 computation theory & mathematics 4 Treffer
- computer 4 Treffer
-
45 weitere Werte:
- computer.programming_language 4 Treffer
- mathematical proof 4 Treffer
- proof assistant 4 Treffer
- theoryofcomputation_logicsandmeaningsofprograms 4 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 3 Treffer
- 020201 artificial intelligence & image processing 3 Treffer
- 020204 information systems 3 Treffer
- calculus 3 Treffer
- computational theory and mathematics 3 Treffer
- computer science::logic in computer science 3 Treffer
- computer science::programming languages 3 Treffer
- computer.software_genre 3 Treffer
- programming language 3 Treffer
- theoretical computer science 3 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 3 Treffer
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 2 Treffer
- algorithm 2 Treffer
- artificial intelligence 2 Treffer
- axiom 2 Treffer
- coinduction 2 Treffer
- computer science - logic in computer science 2 Treffer
- fos: computer and information sciences 2 Treffer
- logic in computer science (cs.lo) 2 Treffer
- reachability 2 Treffer
- safety, risk, reliability and quality 2 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 1 Treffer
- [info.info-es]computer science [cs]/embedded systems 1 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 1 Treffer
- [info.info-pf]computer science [cs]/performance [cs.pf] 1 Treffer
- [info]computer science [cs] 1 Treffer
- [math.math-na]mathematics [math]/numerical analysis [math.na] 1 Treffer
- 0103 physical sciences 1 Treffer
- 010302 applied physics 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
- automated theorem proving 1 Treffer
- business 1 Treffer
- business.industry 1 Treffer
- bytecode 1 Treffer
- code (cryptography) 1 Treffer
- compiler 1 Treffer
- computation 1 Treffer
- computer graphics and computer-aided design 1 Treffer
- computer science::mathematical software 1 Treffer
Verlag
Publikation
Sprache
7 Treffer
-
2012Online unknownZugriff:
-
In: Electronic Proceedings in Theoretical Computer Science, Jg. 303 (2019-09-02), S. 32-47Online unknownZugriff:
-
In: Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, ICFP 2011, 2011-09-01Online unknownZugriff:
-
In: Proceedings of the ACM on Programming Languages, Jg. 4, S. 1-29Online unknownZugriff: