Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Formalized Mathematics's Cover Image
Otwarty dostęp

Formalized Mathematics

Tom 32 (2024): Zeszyt 1 (Sierpień 2024)

Pobierz okładkę
24 Artykułów

Wyszukiwanie

Wszystkie tomy i zeszyty w tym czasopiśmie

eISSN:
1898-9934
Język:
Angielski
Częstotliwość wydawania:
1 razy w roku
Dziedziny czasopisma:
Informatyka, Informatyka, inne, Matematyka, Matematyka ogólna