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
PL
EN
BibTeX
PN-ISO 690:2012
Chicago
Chicago (Autor-Data)
Harvard
ACS
ACS (bez tytułu art.)
IEEE
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Artykuł - szczegóły
Narzędzia
PL
EN
BibTeX
PN-ISO 690:2012
Chicago
Chicago (Autor-Data)
Harvard
ACS
ACS (bez tytułu art.)
IEEE
Adres strony
Kopiuj
Czasopismo
Formalized Mathematics
2014
|
22
|
2
| i-iv
Tytuł artykułu
Preface
Autorzy
Adam Grabowski
,
Yasunari Shidama
Treść / Zawartość
Pełne teksty:
Warianty tytułu
Języki publikacji
EN
Abstrakty
Słowa kluczowe
Wydawca
De Gruyter Open
Czasopismo
Formalized Mathematics
Rocznik
2014
Tom
22
Numer
2
Strony
i-iv
Opis fizyczny
Daty
online
2015-02-05
Twórcy
autor
Adam Grabowski
Institute of Informatics, University of Białystok, Akademicka 2, 15-267 Białystok, Poland
autor
Yasunari Shidama
Shinshu University, Nagano, Japan
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
DOI
10.2478/forma-2014-0020
Identyfikator YADDA
bwmeta1.element.doi-10_2478_forma-2014-0020
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ć.