Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- automatic proving 2 Treffer
- demonstration automatique 2 Treffer
- demostracion automatica 2 Treffer
- agent mobile 1 Treffer
- agente movil 1 Treffer
-
45 weitere Werte:
- algebra proceso 1 Treffer
- algebre processus 1 Treffer
- ambient calculus 1 Treffer
- arithmetics 1 Treffer
- arithmetique 1 Treffer
- aritmetica 1 Treffer
- binary number 1 Treffer
- binary sequence 1 Treffer
- calcul ambiant 1 Treffer
- calcul construction inductive (informatique) 1 Treffer
- calcul reparti 1 Treffer
- calcul sequent 1 Treffer
- calculo ambiente 1 Treffer
- calculo construcciοn inductiva (informatica) 1 Treffer
- calculo repartido 1 Treffer
- calculo sequente 1 Treffer
- cerradura 1 Treffer
- closure 1 Treffer
- concurrency 1 Treffer
- demonstration theoreme 1 Treffer
- demostracion teorema 1 Treffer
- distributed computing 1 Treffer
- estrategia investigacion 1 Treffer
- extraction programme 1 Treffer
- fermeture 1 Treffer
- first order logic 1 Treffer
- fonction recursive 1 Treffer
- formal method 1 Treffer
- funcion recursiva 1 Treffer
- general 1 Treffer
- generalites 1 Treffer
- inductive construction calculus (computer science) 1 Treffer
- intuitionistic logic 1 Treffer
- logica intuicionista 1 Treffer
- logica orden 1 1 Treffer
- logical programming 1 Treffer
- logiciel 1 Treffer
- logique intuitionniste 1 Treffer
- logique ordre 1 1 Treffer
- methode formelle 1 Treffer
- metodo formal 1 Treffer
- mobile agent 1 Treffer
- mobilite 1 Treffer
- mobility 1 Treffer
- movilidad 1 Treffer
Publikation
Sprache
5 Treffer
-
In: TYPES 2003 : types for proofs and programs (Torino, 30 April - 4 May 2003, revised selected papers), 2004, S. 309-323KonferenzZugriff:
-
In: TYPES 2003 : types for proofs and programs (Torino, 30 April - 4 May 2003, revised selected papers), 2004, S. 130-146KonferenzZugriff:
-
In: TYPES 2003 : types for proofs and programs (Torino, 30 April - 4 May 2003, revised selected papers), 2004, S. 324-337KonferenzZugriff:
-
In: TYPES 2003 : types for proofs and programs (Torino, 30 April - 4 May 2003, revised selected papers), 2004, S. 162-177KonferenzZugriff:
-
In: TPHOLs 2003 : theorem proving in higher order logics (Rome, 8-12 September 2003), 2003, S. 205-220KonferenzZugriff: