Formalized Mathematics's Cover Image
Otwarty dostęp

Formalized Mathematics

Tom 27 (2019): Zeszyt 4 (Grudzień 2019)

Pobierz okładkę
Poprzedni zeszyt
Następny zeszyt
2 Artykułów
Otwarty dostęp | 20 lut 2020
AIM Loops and the AIM Conjecture
Chad E. Brown

Chad E. Brown

Český Institut Informatiky Robotiky a KybernetikyPraha 6,
Wyszukaj tego autora
Sciendo|Google Scholar
Brown, Chad E.
 oraz 
Karol Pąk

Karol Pąk

Institute of Informatics, University of BiałystokPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Pąk, Karol
  
Otwarty dostęp | 20 lut 2020
Formal Development of Rough Inclusion Functions
Adam Grabowski

Adam Grabowski

Institute of Informatics, University of BiałystokPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Grabowski, Adam
  

Wyszukiwanie

Wszystkie tomy i zeszyty w tym czasopiśmie

Język:
Angielski
Częstotliwość wydawania:
1 razy w roku
Dziedziny czasopisma:
Matematyka, Matematyka ogólna, Informatyka, Informatyka, inne
Kanał RSS czasopisma