Suchergebnisse
UB Katalog
Artikel & mehr
Suchmaske
Suchergebnisse einschränken oder erweitern
Aktive Suchfilter
Weniger Treffer
Gefunden in
Art der Quelle
Schlagwort
- coq 17 Treffer
- [info.info-pl]computer science [cs]/programming languages [cs.pl] 9 Treffer
- theorie des types 7 Treffer
- type theory 7 Treffer
- formal methods 6 Treffer
-
45 weitere Werte:
- methodes formelles 6 Treffer
- [info.info-ao]computer science [cs]/computer arithmetic 5 Treffer
- assistant de preuve 5 Treffer
- coq proof assistant 5 Treffer
- fixed-point arithmetic 5 Treffer
- floating-point arithmetic 5 Treffer
- compilation 4 Treffer
- methode b 4 Treffer
- preuve formelle 4 Treffer
- program verification 4 Treffer
- proof assistant 4 Treffer
- [info.info-cl]computer science [cs]/computation and language [cs.cl] 3 Treffer
- [info.info-sc]computer science [cs]/symbolic computation [cs.sc] 3 Treffer
- arithmetique a virgule flottante 3 Treffer
- formalisation 3 Treffer
- geometrie 3 Treffer
- interval arithmetic 3 Treffer
- preuves formelles 3 Treffer
- [info.info-cg]computer science [cs]/computational geometry [cs.cg] 2 Treffer
- [info.info-db]computer science [cs]/databases [cs.db] 2 Treffer
- [info.info-ms]computer science [cs]/mathematical software [cs.ms] 2 Treffer
- [info.info-se]computer science [cs]/software engineering [cs.se] 2 Treffer
- [spi.signal]engineering sciences [physics]/signal and image processing 2 Treffer
- arithmetique des ordinateurs 2 Treffer
- assistant de preuve coq 2 Treffer
- automated theorem proving 2 Treffer
- b method 2 Treffer
- calculus of inductive constructions 2 Treffer
- certification 2 Treffer
- combinatorial maps 2 Treffer
- computer arithmetic 2 Treffer
- convex hull 2 Treffer
- curry-howard 2 Treffer
- deduction automatique 2 Treffer
- extraction 2 Treffer
- formal proof 2 Treffer
- formal proofs 2 Treffer
- functional programming 2 Treffer
- geometrie projective 2 Treffer
- instrumentation 2 Treffer
- interpretation abstraite 2 Treffer
- matroids 2 Treffer
- module system 2 Treffer
- namespace 2 Treffer
- pappus 2 Treffer
35 Treffer
-
In: https://theses.hal.science/tel-04165484 ; Logique en informatique [cs.LO]. Université Paris-Saclay, 2023. Français. ⟨NNT : 2023UPASG040⟩, 2023Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-03202580 ; Traitement du signal et de l'image [eess.SP]. Université Paris-Saclay, 2021. Français. ⟨NNT : 2021UPASG016⟩, 2021Online HochschulschriftZugriff:
-
In: https://tel.archives-ouvertes.fr/tel-03202580 ; Traitement du signal et de l'image [eess.SP]. Université Paris-Saclay, 2021. Français. ⟨NNT : 2021UPASG016⟩, 2021Online HochschulschriftZugriff:
-
In: https://hal.science/hal-00361302 ; 2009, 2009Online reportZugriff:
-
In: https://hal.archives-ouvertes.fr/hal-00361302 ; 2009, 2009Online reportZugriff:
-
In: https://inria.hal.science/hal-04319183 ; Logique en informatique [cs.LO]. 2021, 2021Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-01798332 ; Logique en informatique [cs.LO]. Université Paris Diderot, 2012. Français. ⟨NNT : ⟩, 2012Online HochschulschriftZugriff:
-
In: https://tel.archives-ouvertes.fr/tel-01798332 ; Logique en informatique [cs.LO]. Université Paris Diderot, 2012. Français, 2012Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-00679201 ; Langage de programmation [cs.PL]. Ecole Polytechnique X, 2010. Français. ⟨NNT : ⟩, 2010Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-00679201 ; Langage de programmation [cs.PL]. Ecole Polytechnique X, 2010. Français. ⟨NNT : ⟩, 2010Online HochschulschriftZugriff:
-
In: https://tel.archives-ouvertes.fr/tel-00679201 ; Langage de programmation [cs.PL]. Ecole Polytechnique X, 2010. Français, 2010Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-01534575 ; Logique en informatique [cs.LO]. Université Paris Saclay (COmUE), 2016. Français. ⟨NNT : 2016SACLS525⟩, 2016Online HochschulschriftZugriff:
-
In: https://hal.science/tel-03229264 ; Géométrie algorithmique [cs.CG]. Université de Strasbourg, 2020, 2020Online HochschulschriftZugriff:
-
In: https://hal.archives-ouvertes.fr/tel-03229264 ; Géométrie algorithmique [cs.CG]. Université de Strasbourg, 2020, 2020Online HochschulschriftZugriff:
-
In: https://theses.hal.science/tel-02470728 ; Logique en informatique [cs.LO]. Université Paris Saclay (COmUE), 2019. Français. ⟨NNT : 2019SACLS594⟩, 2019Online HochschulschriftZugriff:
-
In: https://tel.archives-ouvertes.fr/tel-02470728 ; Logique en informatique [cs.LO]. Université Paris Saclay (COmUE), 2019. Français. ⟨NNT : 2019SACLS594⟩, 2019Online HochschulschriftZugriff:
-
In: https://inria.hal.science/hal-00661537 ; 2010, 2010Online reportZugriff:
-
In: https://inria.hal.science/hal-00661537 ; 2010, 2010Online reportZugriff:
-
In: https://hal.inria.fr/hal-00661537 ; 2010, 2010Online reportZugriff:
-
In: https://theses.hal.science/tel-00840484 ; Logique en informatique [cs.LO]. Conservatoire national des arts et metiers - CNAM, 2013. Français. ⟨NNT : 2013CNAM0860⟩, 2013Online HochschulschriftZugriff: