Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl
Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
The cover of journal
Tytuł

Formalized Mathematics

Inne tytuły

Wydawca

ISSN

1898-9934

ISSN

1426-2630
Rozwiń/Schowaj Redakcja, Instytucje i osoby, Zmiany tytułów

Redakcja

Instytucje i osoby

Następny tytuł

Poprzedni tytuł

Rozwiń/Schowaj Częstotliwość, Uwagi, Pełne teksty

Częstotliwość

Pełne teksty dostępne lokalnie

Nie

Uwagi

The previous name of the publisher: Versita
In the years 1994 - 2005 published by University of Białystok
In the years 1990 - 1993 published by the Université Catholique de Louvain.
Zawartość czasopisma

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ć.