Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- data analysis 6 Treffer
- mathematical proofs 6 Treffer
- computer programmers 3 Treffer
- computer programming 3 Treffer
- computer software 3 Treffer
-
16 weitere Werte:
- data structures 3 Treffer
- distributive law (mathematics) 3 Treffer
- feature extraction 3 Treffer
- machine theory 3 Treffer
- mathematical analysis 3 Treffer
- modules (algebra) 3 Treffer
- probability theory 3 Treffer
- programming languages 3 Treffer
- proof theory 3 Treffer
- semantics 3 Treffer
- semilattices 3 Treffer
- verification of computer systems 3 Treffer
- first-order logic 1 Treffer
- functional programming languages 1 Treffer
- mathematical logic 1 Treffer
- type theory 1 Treffer
Sprache
5 Treffer
-
In: Journal of Functional Programming, Jg. 31 (2021), Heft 1/2, S. 1-41Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 31 (2021), Heft 1/2, S. 1-38Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 18 (2008-11-01), Heft 5/6, S. 599-647academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 24 (2014-05-01), Heft 2/3, S. 284-315Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 13 (2003-07-01), Heft 4, S. 709-745academicJournalZugriff: