Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- [info.info-cr]computer science [cs]/cryptography and security [cs.cr] 2 Treffer
- [info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl] 2 Treffer
- [info.info-lo]computer science [cs]/logic in computer science [cs.lo] 2 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 2 Treffer
- assistant de preuve 2 Treffer
- 3 weitere Werte:
4 Treffer
-
In: https://hal.science/hal-00361302 ; 2009, 2009Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-00361302 ; 2009, 2009Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-03388671 ; [Rapport de recherche] CNRS; Université de Bordeaux; LaBRI - Laboratoire Bordelais de Recherche en Informatique; IRIF. 2021, 2021Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-03388671 ; [Rapport de recherche] CNRS; Université de Bordeaux; LaBRI - Laboratoire Bordelais de Recherche en Informatique; IRIF. 2021, 2021Online reportZugriff: