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
2015
Tom
23
Numer
4
Identyfikatory
Okładka
Zawartość wolumenu
4
artykuł:
Summable Family in a Commutative Group
(
Coghetto R.
), s. 279-288
artykuł:
Topology from Neighbourhoods
(
Coghetto R.
), s. 289-296
artykuł:
Torsion Part of ℤ-module
(
Futa Y.
,
Okazaki H.
,
Shidama Y.
), s. 297-307
artykuł:
Construction of Measure from Semialgebra of Sets1
(
Endou N.
), s. 309-323
artykuł:
Event-Based Proof of the Mutual Exclusion Property of Peterson’s Algorithm
(
Ivanov I.
,
Nikitchenko M.
,
Abraham U.
), s. 325-331
artykuł:
Characteristic of Rings. Prime Fields
(
Schwarzweller C.
,
Korniłowicz A.
), s. 333-349
artykuł:
Exponential Objects
(
Riccardi M.
), s. 351-369
artykuł:
Algebra of Polynomially Bounded Sequences and Negligible Functions
(
Okazaki H.
), s. 371-378
artykuł:
Propositional Linear Temporal Logic with Initial Validity Semantics1
(
Giero M.
), s. 379-386
artykuł:
Stone Lattices
(
Grabowski A.
), s. 387-396
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ć.