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
2012
Tom
20
Numer
2
Identyfikatory
Okładka
Zawartość wolumenu
2
artykuł:
Fundamental Group of n-sphere for n ≥ 2
(
Riccardi M.
,
Korniłowicz A.
), s. 97-104
artykuł:
The Borsuk-Ulam Theorem
(
Korniłowicz A.
,
Riccardi M.
), s. 105-112
artykuł:
Higher-Order Partial Differentiation
(
Endou N.
,
Okazaki H.
,
Shidama Y.
), s. 113-124
artykuł:
Formalization of the Data Encryption Standard
(
Okazaki H.
,
Shidama Y.
), s. 125-146
artykuł:
Semantics of MML Query
(
Bancerek G.
), s. 147-155
artykuł:
Routh’s, Menelaus’ and Generalized Ceva’s Theorems
(
Shminke B. A.
), s. 157-159
artykuł:
Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph
(
Rudnicki P.
,
Stewart L.
), s. 161-174
artykuł:
Extended Euclidean Algorithm and CRT Algorithm
(
Okazaki H.
,
Aoki Y.
,
Shidama Y.
), s. 175-179
artykuł:
Introduction to Rational Functions
(
Schwarzweller C.
), s. 181-191
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ć.