[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Formalized Mathematics's Cover Image
Otwarty dostęp

Formalized Mathematics

Tom 22 (2014): Zeszyt 1 (Marzec 2014)

Pobierz okładkę
Poprzedni zeszyt
Następny zeszyt
10 Artykułów
Otwarty dostęp | 30 mar 2014
Definition of Flat Poset and Existence Theorems for Recursive Call
Kazuhisa Ishida
Ishida, Kazuhisa
, 
Yasunari Shidama
Shidama, Yasunari
 oraz 
Adam Grabowski
Grabowski, Adam
  
Otwarty dostęp | 30 mar 2014
Tietze Extension Theorem for n-dimensional Spaces
Karol Pąk
Pąk, Karol
  
Otwarty dostęp | 30 mar 2014
Brouwer Invariance of Domain Theorem
Karol Pąk
Pąk, Karol
  
Otwarty dostęp | 30 mar 2014
The Formalization of Decision-Free Petri Net
Pratima K. Shah
Shah, Pratima K.
, 
Pauline N. Kawamoto
Kawamoto, Pauline N.
 oraz 
Mariusz Giero
Giero, Mariusz
  
Otwarty dostęp | 30 mar 2014
Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm
Grzegorz Bancerek
Bancerek, Grzegorz
  
Otwarty dostęp | 30 mar 2014
Double Series and Sums
Noboru Endou
Endou, Noboru
  
Otwarty dostęp | 30 mar 2014
Dual Spaces and Hahn-Banach Theorem
Keiko Narita
Narita, Keiko
, 
Noboru Endou
Endou, Noboru
 oraz 
Yasunari Shidama
Shidama, Yasunari
  
Otwarty dostęp | 30 mar 2014
Semiring of Sets
Roland Coghetto
Coghetto, Roland
  
Otwarty dostęp | 30 mar 2014
Semiring of Sets: Examples
Roland Coghetto
Coghetto, Roland
  
Otwarty dostęp | 30 mar 2014
Topological Interpretation of Rough Sets
Adam Grabowski
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