Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- classical logic 4 Treffer
- continuation-passing style 2 Treffer
- linear logic 2 Treffer
- mathematical proof 2 Treffer
- natural deduction 2 Treffer
-
16 weitere Werte:
- algorithm 1 Treffer
- calculus 1 Treffer
- call-by-value 1 Treffer
- classical proof 1 Treffer
- computation 1 Treffer
- computational complexity theory 1 Treffer
- computer 1 Treffer
- computer science 1 Treffer
- computer.programming_language 1 Treffer
- constraint satisfaction 1 Treffer
- derivation rule 1 Treffer
- discrete mathematics 1 Treffer
- evaluation strategy 1 Treffer
- lambda calculus 1 Treffer
- mathematics 1 Treffer
- normalization (statistics) 1 Treffer
Publikation
- elektromobilitat : grundlagen einer fortschrittstechnologie 2 Treffer
- advances in computing science asian 98 : 4th asian computing science conference manila, the philippines, december 8-10, 1998 proceedings 1 Treffer
- computer science logic : 16th international workshop, csl 2002 11th annual conference of the eacsl edinburgh, scotland, uk, september 22-25, 2002 proceedings 1 Treffer
Sprache
6 Treffer
-
2002Online E-BookZugriff:
-
In: Elektromobilität : Grundlagen einer Fortschrittstechnologie; (2024) S. 275-287Online E-BookZugriff:
-
In: Elektromobilität : Grundlagen einer Fortschrittstechnologie; (2024) S. 153-164Online E-BookZugriff: