PL
|
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Numer - szczegóły
Adres strony
Kopiuj
Wydawca
De Gruyter Open
Czasopismo
Formalized Mathematics
Rocznik
2017
Tom
25
Numer
3
Identyfikatory
Okładka
Zawartość wolumenu
3
artykuł:
Isomorphism Theorem on Vector Spaces over a Ring
(
Futa Y.
,
Shidama Y.
), s. 171-178
artykuł:
F. Riesz Theorem
(
Narita K.
,
Nakasho K.
,
Shidama Y.
), s. 179-184
artykuł:
On Roots of Polynomials and Algebraically Closed Fields
(
Schwarzweller C.
), s. 185-195
artykuł:
Pell’s Equation
(
Acewicz M.
,
Pąk K.
), s. 197-204
artykuł:
Simple-Named Complex-Valued Nominative Data – Definition and Basic Operations
(
Ivanov I.
,
Nikitchenko M.
,
Kryvolap A.
,
Korniłowicz A.
), s. 205-216
artykuł:
Gauge Integral
(
Coghetto R.
), s. 217-225
artykuł:
Integral of Non Positive Functions
(
Endou N.
), s. 227-240
artykuł:
Formal Introduction to Fuzzy Implications
(
Grabowski A.
), s. 241-248
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ć.