Formalized Mathematics - Tom 22, Numer 2 (2014) - 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

2014

Tom

22

Numer

2

Identyfikatory

Okładka

Zawartość wolumenu

2
- artykuł: Preface (Grabowski A., Shidama Y.), s. i-iv
- artykuł: Pseudo-Canonical Formulae are Classical (Caminati M. B., Korniłowicz A.), s. 99-103
- artykuł: Lagrange’s Four-Square Theorem (Watase Y.), s. 105-110
- artykuł: Proth Numbers (Schwarzweller C.), s. 111-118
- artykuł: Bertrand’s Ballot Theorem (Pąk K.), s. 119-123
- artykuł: Term Context (Bancerek G.), s. 125-155
- artykuł: Cauchy Mean Theorem (Grabowski A.), s. 157-166
- artykuł: Tarski Geometry Axioms (Richter W., Grabowski A., Alama J.), s. 167-176
- artykuł: A Note on the Seven Bridges of Königsberg Problem (Naumowicz A.), s. 177-178
- artykuł: Topological Manifolds (Pąk K.), s. 179-186

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ć.