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

<br>In the years 1994 - 2005 published by University of Białystok
<br>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ć.