Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 5 Treffer
- [info:info_oh] computer science/other 2 Treffer
- [math] mathematics 2 Treffer
- assistant de preuve 2 Treffer
- langages fonctionnels 2 Treffer
-
27 weitere Werte:
- methode formelle 2 Treffer
- [info:info_se] informatique/genie logiciel 1 Treffer
- analyse statique 1 Treffer
- calcul des constructions 1 Treffer
- calcul formel 1 Treffer
- compilation 1 Treffer
- confiance 1 Treffer
- confluence 1 Treffer
- de bruijn 1 Treffer
- formalisation 1 Treffer
- groupes finis 1 Treffer
- interpretation abstraite 1 Treffer
- isomorphisme de curry-howard 1 Treffer
- langages de programmation 1 Treffer
- logique temporelle 1 Treffer
- methode b 1 Treffer
- methodes formelles 1 Treffer
- normalisation 1 Treffer
- procedures de decision 1 Treffer
- programmation fonctionnelle 1 Treffer
- raffinement 1 Treffer
- reductibilite 1 Treffer
- securite 1 Treffer
- ssreflect 1 Treffer
- theorie des representations 1 Treffer
- theorie des types 1 Treffer
- verification formelle 1 Treffer
Verlag
Sprache
11 Treffer
-
2014Online HochschulschriftZugriff:
-
2009Online HochschulschriftZugriff:
-
2006Online HochschulschriftZugriff:
-
2010Online HochschulschriftZugriff:
-
2009Online HochschulschriftZugriff:
-
1996Online HochschulschriftZugriff:
-
2003Online HochschulschriftZugriff:
-
2010Online HochschulschriftZugriff:
-
2010Online HochschulschriftZugriff:
-
1994Online HochschulschriftZugriff: