Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- arithmetic 3 Treffer
- automated theorem proving 3 Treffer
- automation 3 Treffer
- computer programming 3 Treffer
- coq 3 Treffer
-
23 weitere Werte:
- dependent types 3 Treffer
- generalisation 3 Treffer
- mathematical functions 3 Treffer
- nonlinear systems 3 Treffer
- rippling 3 Treffer
- algebra and number theory 2 Treffer
- computational theory and mathematics 2 Treffer
- information systems 2 Treffer
- theoretical computer science 2 Treffer
- algebra 1 Treffer
- axiom 1 Treffer
- axiom schema 1 Treffer
- combinatorics 1 Treffer
- filtered algebra 1 Treffer
- intersection 1 Treffer
- mathematical proof 1 Treffer
- monoid 1 Treffer
- rank (graph theory) 1 Treffer
- simple algebra 1 Treffer
- substitution (algebra) 1 Treffer
- theoryofcomputation_mathematicallogicandformallanguages 1 Treffer
- type inference 1 Treffer
- type inhabitation 1 Treffer
Sprache
3 Treffer
-
In: Fundamenta Informaticae, Jg. 102 (2010-12-30), Heft 2, S. 209-228Online academicJournalZugriff:
-
In: Fundamenta Informaticae, Jg. 170 (2019-10-18), S. 93-110Online unknownZugriff:
-
In: Fundamenta Informaticae, Jg. 121 (2012), S. 43-82Online unknownZugriff: