Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- logical programming 7 Treffer
- programacion logica 7 Treffer
- programmation logique 7 Treffer
- demonstration theoreme 3 Treffer
- demostracion teorema 3 Treffer
-
45 weitere Werte:
- theorem proving 3 Treffer
- automatic proving 2 Treffer
- deduccion 2 Treffer
- deduction 2 Treffer
- demonstration automatique 2 Treffer
- demostracion automatica 2 Treffer
- formal verification 2 Treffer
- implementacion 2 Treffer
- implementation 2 Treffer
- induccion 2 Treffer
- induction 2 Treffer
- program verification 2 Treffer
- proof theory 2 Treffer
- teoria demonstracion 2 Treffer
- theorie preuve 2 Treffer
- theorie type 2 Treffer
- type theory 2 Treffer
- verificacion programa 2 Treffer
- verification formelle 2 Treffer
- verification programme 2 Treffer
- affine transformation 1 Treffer
- algorithme parallele 1 Treffer
- algoritmo paralelo 1 Treffer
- application program interfaces 1 Treffer
- apprentissage et systemes adaptatifs 1 Treffer
- artificial intelligence 1 Treffer
- binary number 1 Treffer
- calcul construction 1 Treffer
- calculo construccion 1 Treffer
- complejidad 1 Treffer
- complexite 1 Treffer
- complexity 1 Treffer
- confidencialidad 1 Treffer
- confidentialite 1 Treffer
- confidentiality 1 Treffer
- confluence 1 Treffer
- confluencia 1 Treffer
- ecuacion funcional 1 Treffer
- ecuacion recurrencia 1 Treffer
- efecto inductor 1 Treffer
- effet inducteur 1 Treffer
- equation fonctionnelle 1 Treffer
- equation recurrence 1 Treffer
- equational theory 1 Treffer
- especificacion 1 Treffer
Publikation
Sprache
9 Treffer
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 270-286KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 87-102KonferenzZugriff:
-
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:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 304-318KonferenzZugriff:
-
In: Automated deduction - CADE-19 (Miami Beach FL, 28 July - 2 August 2003), 2003, S. 297-316KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 205-220KonferenzZugriff:
-
In: LPAR 2003 : logic for programming artificial intelligence, and reasoning (Almaty, 22-26 September 2003), 2003, S. 59-77KonferenzZugriff:
-
In: Automated deduction - CADE-19 (Miami Beach FL, 28 July - 2 August 2003), 2003, S. 136-150KonferenzZugriff: