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

2015

Tom

23

Numer

2

Identyfikatory

Okładka

Zawartość wolumenu

2
- artykuł: Morley’s Trisector Theorem (Coghetto R.), s. 75-79
- artykuł: Flexary Operations (Pąk K.), s. 81-92
- artykuł: Euler’s Partition Theorem (Pąk K.), s. 93-99
- artykuł: Introduction to Diophantine Approximation (Watase Y.), s. 101-106
- artykuł: Finite Product of Semiring of Sets (Coghetto R.), s. 107-114
- artykuł: Two Axiomatizations of Nelson Algebras (Grabowski A.), s. 115-125
- artykuł: Groups – Additive Notation (Coghetto R.), s. 127-160

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