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

Wydawca

ISSN

1898-9934

ISSN

1426-2630
Rozwiń/Schowaj Redakcja, Instytucje i osoby, Zmiany tytułów
Rozwiń/Schowaj Częstotliwość, Uwagi, Pełne teksty

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