Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- affine transformation 1 Treffer
- algorithme parallele 1 Treffer
- algoritmo paralelo 1 Treffer
- application program interfaces 1 Treffer
- complejidad 1 Treffer
-
44 weitere Werte:
- complexite 1 Treffer
- complexity 1 Treffer
- confidencialidad 1 Treffer
- confidentialite 1 Treffer
- confidentiality 1 Treffer
- demonstration theoreme 1 Treffer
- demostracion teorema 1 Treffer
- ecuacion funcional 1 Treffer
- ecuacion recurrencia 1 Treffer
- equation fonctionnelle 1 Treffer
- equation recurrence 1 Treffer
- especificacion 1 Treffer
- functional equation 1 Treffer
- implementacion 1 Treffer
- implementation 1 Treffer
- induccion 1 Treffer
- induction 1 Treffer
- integridad 1 Treffer
- integrite 1 Treffer
- integrity 1 Treffer
- interface programme application 1 Treffer
- java language 1 Treffer
- langage java 1 Treffer
- lenguaje java 1 Treffer
- machine virtuelle 1 Treffer
- maquina virtual 1 Treffer
- parallel algorithm 1 Treffer
- poliedro 1 Treffer
- polyedre 1 Treffer
- polyhedron 1 Treffer
- proof theory 1 Treffer
- recurrence equation 1 Treffer
- regularidad 1 Treffer
- regularite 1 Treffer
- regularity 1 Treffer
- specification 1 Treffer
- teoria demonstracion 1 Treffer
- theorem proving 1 Treffer
- theorie preuve 1 Treffer
- theorie type 1 Treffer
- transformacion afin 1 Treffer
- transformation affine 1 Treffer
- type theory 1 Treffer
- virtual machine 1 Treffer
Sprache
2 Treffer
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 335-351KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 155-170KonferenzZugriff: