Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Formalized Mathematics's Cover Image
Accesso libero

Formalized Mathematics

Volume 19 (2011): Numero 2 (Giugno 2011)

Scarica la copertina
Numero precedente
Prossimo numero
9 Articoli
Accesso libero | 18 lug 2011
Sorting by Exchanging
Grzegorz Bancerek
Bancerek, Grzegorz
  
Accesso libero | 18 lug 2011
Veblen Hierarchy
Grzegorz Bancerek
Bancerek, Grzegorz
  
Accesso libero | 18 lug 2011
Banach Algebra of Bounded Complex-Valued Functionals
Katuhiko Kanazashi
Kanazashi, Katuhiko
, 
Hiroyuki Okazaki
Okazaki, Hiroyuki
 e 
Yasunari Shidama
Shidama, Yasunari
  
Accesso libero | 18 lug 2011
Conway's Games and Some of their Basic Properties
Robin Nittka
Nittka, Robin
  
Accesso libero | 18 lug 2011
Differentiable Functions into Real Normed Spaces
Hiroyuki Okazaki
Okazaki, Hiroyuki
, 
Noboru Endou
Endou, Noboru
, 
Keiko Narita
Narita, Keiko
 e 
Yasunari Shidama
Shidama, Yasunari
  
Accesso libero | 18 lug 2011
Linear Transformations of Euclidean Topological Spaces. Part II
Karol Pąk
Pąk, Karol
  
Accesso libero | 18 lug 2011
The Axiomatization of Propositional Linear Time Temporal Logic
Mariusz Giero
Giero, Mariusz
  
Accesso libero | 18 lug 2011
Partial Differentiation, Differentiation and Continuity on n-Dimensional Real Normed Linear Spaces
Takao Inoué
Inoué, Takao
, 
Adam Naumowicz
Naumowicz, Adam
, 
Noboru Endou
Endou, Noboru
 e 
Yasunari Shidama
Shidama, Yasunari
  
Accesso libero | 18 lug 2011
Linear Transformations of Euclidean Topological Spaces
Karol Pąk
Pąk, Karol
  

Cerca

Tutti i volumi ed i numeri in questa rivista

eISSN:
1898-9934
ISSN:
1426-2630
Lingua:
Inglese
Frequenza di pubblicazione:
1 volte all'anno
Argomenti della rivista:
Matematica, Matematica generale, Informatica, Informatica, altro
Feed RSS della rivista