Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- analyse mathematique 2 Treffer
- applied sciences 2 Treffer
- automatique, recherche operationnelle 2 Treffer
- calcul des variations et controle optimal 2 Treffer
- calculus of variations and optimal control 2 Treffer
-
45 weitere Werte:
- control theory, operational research 2 Treffer
- desigualdad variacional 2 Treffer
- inegalite variationnelle 2 Treffer
- mathematical analysis 2 Treffer
- sciences appliquees 2 Treffer
- variational inequality 2 Treffer
- complementarity problem 1 Treffer
- computer science; control theory; systems 1 Treffer
- convergence 1 Treffer
- convergencia 1 Treffer
- convex programming 1 Treffer
- demonstration theoreme 1 Treffer
- demostracion teorema 1 Treffer
- dimension infinie 1 Treffer
- dimension infinita 1 Treffer
- espace hilbert 1 Treffer
- espacio hilbert 1 Treffer
- existence of solution 1 Treffer
- existence solution 1 Treffer
- existence theorem 1 Treffer
- existencia de solucion 1 Treffer
- fonction monotone 1 Treffer
- fonction semicontinue 1 Treffer
- fonctions logiques, booleennes et de commutation 1 Treffer
- funcion monotona 1 Treffer
- funcion semicontinua 1 Treffer
- generalized convexity 1 Treffer
- high order logic 1 Treffer
- hilbert space 1 Treffer
- inclusion 1 Treffer
- inclusion problems 1 Treffer
- infinite dimension 1 Treffer
- informatique theorique 1 Treffer
- informatique; automatique theorique; systemes 1 Treffer
- kkm theorem 1 Treffer
- lambda calcul 1 Treffer
- lambda calculo 1 Treffer
- lambda calculus 1 Treffer
- logic and foundations 1 Treffer
- logical, boolean and switching functions 1 Treffer
- logique et fondements 1 Treffer
- logique mathematique, fondements, theorie des ensembles 1 Treffer
- logique ordre superieur 1 Treffer
- mathematical logic, foundations, set theory 1 Treffer
- mathematical programming 1 Treffer
Publikation
Sprache
3 Treffer
-
In: TPHOLs 2002 : theorem proving in higher order logics (Hampton VA, 20-23 August 2002), 2002, S. 13-30KonferenzZugriff:
-
In: Journal of optimization theory and applications, Jg. 146 (2010), Heft 3, S. 640-653Online academicJournalZugriff:
-
In: Journal of optimization theory and applications, Jg. 138 (2008), Heft 2, S. 253-273Online academicJournalZugriff: