Formalized Mathematics - Tom 24, Numer 4 (2016) - DML-PL - Yadda

Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Numer - szczegóły

Wydawca

De Gruyter Open

Czasopismo

Formalized Mathematics

Rocznik

2016

Tom

24

Numer

4

Identyfikatory

Okładka

Zawartość wolumenu

4
- artykuł: Homography in ℝℙ (Coghetto R.), s. 239-251
- artykuł: The Basic Existence Theorem of Riemann-Stieltjes Integral (Nakasho K., Narita K., Shidama Y.), s. 253-259
- artykuł: On Subnomials (Ziobro R.), s. 261-273
- artykuł: Leibniz Series forπ (Pąk K.), s. 275-280
- artykuł: The Axiomatization of Propositional Logic (Giero M.), s. 281-290
- artykuł: Algebraic Numbers (Watase Y.), s. 291-299
- artykuł: Niven’s Theorem (Korniłowicz A., Naumowicz A.), s. 301-308

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.