Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- programming theory 2 Treffer
- theorie programmation 2 Treffer
- borradura 1 Treffer
- compilacion 1 Treffer
- compilation 1 Treffer
-
24 weitere Werte:
- demonstration theoreme 1 Treffer
- demostracion teorema 1 Treffer
- effacement 1 Treffer
- erasure 1 Treffer
- especificacion formal 1 Treffer
- fonctions logiques, booleennes et de commutation 1 Treffer
- formal semantics 1 Treffer
- formal specification 1 Treffer
- geometrical model 1 Treffer
- isomorfismo 1 Treffer
- isomorphism 1 Treffer
- isomorphisme 1 Treffer
- logical programming 1 Treffer
- logical, boolean and switching functions 1 Treffer
- modele geometrique 1 Treffer
- modelo geometrico 1 Treffer
- programacion logica 1 Treffer
- programmation logique 1 Treffer
- semantica formal 1 Treffer
- semantique formelle 1 Treffer
- specification formelle 1 Treffer
- theorem proving 1 Treffer
- theorie type 1 Treffer
- type theory 1 Treffer
Publikation
Sprache
3 Treffer
-
In: CSL 2005 : computer science logic (Oxford, 22-25 August 2005), 2005, S. 151-166KonferenzZugriff:
-
In: TPHOLs 2002 : theorem proving in higher order logics (Hampton VA, 20-23 August 2002), 2002, S. 164-181KonferenzZugriff:
-
In: TPHOLs 2002 : theorem proving in higher order logics (Hampton VA, 20-23 August 2002), 2002, S. 148-163KonferenzZugriff: