Przejdź do menu głównego
Przejdź do treści
PL
|
EN
Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Rocznik - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
2010
Czasopismo
Formalized Mathematics
Wydawca
De Gruyter Open
Identyfikatory
Zawartość czasopisma
2010
tom:
18
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ć.