Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Schlagwort
- automatic proving 4 Treffer
- demonstration automatique 4 Treffer
- demostracion automatica 4 Treffer
- preuve programme 3 Treffer
- program proof 3 Treffer
-
45 weitere Werte:
- prueba programa 3 Treffer
- calcul construction inductive (informatique) 2 Treffer
- calculo construcciοn inductiva (informatica) 2 Treffer
- demonstration theoreme 2 Treffer
- demostracion teorema 2 Treffer
- inductive construction calculus (computer science) 2 Treffer
- nombre reel 2 Treffer
- real number 2 Treffer
- theorem proving 2 Treffer
- theorie type 2 Treffer
- type theory 2 Treffer
- abelian theory 1 Treffer
- algebra 1 Treffer
- algebraic geometry 1 Treffer
- algebre 1 Treffer
- anillo 1 Treffer
- anneau 1 Treffer
- biblioteca programa 1 Treffer
- bibliotheque programme 1 Treffer
- calcul construction 1 Treffer
- calcul formel 1 Treffer
- calculo construccion 1 Treffer
- calculo formal 1 Treffer
- computer algebra 1 Treffer
- computer systems and distributed systems. user interface 1 Treffer
- cuantificador 1 Treffer
- eliminacion 1 Treffer
- elimination 1 Treffer
- fixed point theorem 1 Treffer
- fonction recursive 1 Treffer
- formal verification 1 Treffer
- funcion recursiva 1 Treffer
- functional language 1 Treffer
- geometria algebraica 1 Treffer
- geometrie algebrique 1 Treffer
- interface utilisateur 1 Treffer
- interfase usuario 1 Treffer
- langage fonctionnel 1 Treffer
- lenguaje funcional 1 Treffer
- logiciel 1 Treffer
- mathematics 1 Treffer
- mathematiques 1 Treffer
- number theory 1 Treffer
- ocaml 1 Treffer
- polinomio 1 Treffer
Publikation
Sprache
7 Treffer
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 33-47KonferenzZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 1-15KonferenzZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 17-31KonferenzZugriff:
-
In: JFLA 2002 : journées francophones des langages applicatifs (Anglet, 28-29 janvier 2002), 2002, S. 101-116KonferenzZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 59-73KonferenzZugriff:
-
In: JFLA 2002 : journées francophones des langages applicatifs (Anglet, 28-29 janvier 2002), 2002, S. 27-42KonferenzZugriff:
-
In: JFLA 2001 : journées francophones des langages applicatifs (Pontcarlier, 29-30 janvier 2001 ), 2001, S. 49-58KonferenzZugriff: