On the Formalization of Lebesgue Integrals / Yasunari Shidama, Noburu Endou, and Pauline N. Kawamoto.
Rodzaj materiału:
ArtykułTematy: Grzesiak, Maciej. Liczby zespolone i algebra liniowa 10 (23) (2007), s. 167-177
W: Studies in Logic, Grammar and Rhetoric 10 (23) (2007), s. 167-177
W: From insight to proof : Festschrift in honour of Andrzej Trybulec S. 167-177
Brak egzemplarzy dla tego rekordu
Tytuł. nagł.
Błędny zapis imienia Noboru Endou.
Bibliogr. s. 177.