Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- proof theory 6 Treffer
- computer programmers 3 Treffer
- computer programming 3 Treffer
- computer science 3 Treffer
- data structures 3 Treffer
-
15 weitere Werte:
- electronic data processing 3 Treffer
- functional programming languages 3 Treffer
- homotopy theory 3 Treffer
- javascript programming language 3 Treffer
- parameter estimation 3 Treffer
- pattern matching 3 Treffer
- programming language semantics 3 Treffer
- programming languages 3 Treffer
- automatic theorem proving 2 Treffer
- data extraction 2 Treffer
- graph queries 2 Treffer
- graph theory 2 Treffer
- incremental maintenance 2 Treffer
- query languages (computer science) 2 Treffer
- theorem proving 2 Treffer
Publikation
Sprache
4 Treffer
-
In: Theory & Practice of Logic Programming, Jg. 18 (2018-05-01), Heft 3/4, S. 372-389Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 31 (2021), Heft 1/2, S. 1-67Online academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 21 (2011-05-01), Heft 3, S. 287-307academicJournalZugriff:
-
In: Journal of Functional Programming, Jg. 28 (2018), S. N.PAG- (55S.)Online academicJournalZugriff: