AFM - Annals of Formalized Mathematics.
Kaydedildi:
| Materyal Türü: | Revue numérique |
|---|---|
| Dil: | Indéterminée |
| Online Erişim: | Accès libre |
| État de collection: | Revue numérique .- État de collection : 2024 à nos jours |
| Variante du titre: | AFM - Annals of Formalized Mathematics |
Benzer Materyaller
-
Formalized Mathematics.
(Revue numérique)
University of Białystok, 1990 -
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel
(Livre papier)
Mostowski, Andrzej, 1913-1975
North-Holland Pub. Co., 1964 -
Métrologie hybride AFM
(Article de revue numérique)
Techniques de l'ingénieur, 2020 - Annals of Mathematics. (Revue numérique)
- Annals of Mathematics. (Revue numérique)