Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- agent mobile 1 Treffer
- agente movil 1 Treffer
- algebra proceso 1 Treffer
- algebre processus 1 Treffer
- ambient calculus 1 Treffer
-
31 weitere Werte:
- 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
- concurrency 1 Treffer
- distributed computing 1 Treffer
- estrategia investigacion 1 Treffer
- first order logic 1 Treffer
- formal method 1 Treffer
- inductive construction calculus (computer science) 1 Treffer
- intuitionistic logic 1 Treffer
- logica intuicionista 1 Treffer
- logica orden 1 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
- process algebra 1 Treffer
- search strategy 1 Treffer
- sequent calculus 1 Treffer
- simultaneidad informatica 1 Treffer
- simultaneite informatique 1 Treffer
- strategie recherche 1 Treffer
Publikation
Sprache
2 Treffer
-
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: