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

Formalized Mathematics

Volumen 22 (2014): Edición 1 (Marzo 2014)

Descargar portada
Edición anterior
Próxima edición
10 Artículos
Acceso abierto | 30 mar 2014
Definition of Flat Poset and Existence Theorems for Recursive Call
Kazuhisa Ishida
Ishida, Kazuhisa
, 
Yasunari Shidama
Shidama, Yasunari
 y 
Adam Grabowski
Grabowski, Adam
  
Acceso abierto | 30 mar 2014
Tietze Extension Theorem for n-dimensional Spaces
Karol Pąk
Pąk, Karol
  
Acceso abierto | 30 mar 2014
Brouwer Invariance of Domain Theorem
Karol Pąk
Pąk, Karol
  
Acceso abierto | 30 mar 2014
The Formalization of Decision-Free Petri Net
Pratima K. Shah
Shah, Pratima K.
, 
Pauline N. Kawamoto
Kawamoto, Pauline N.
 y 
Mariusz Giero
Giero, Mariusz
  
Acceso abierto | 30 mar 2014
Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm
Grzegorz Bancerek
Bancerek, Grzegorz
  
Acceso abierto | 30 mar 2014
Double Series and Sums
Noboru Endou
Endou, Noboru
  
Acceso abierto | 30 mar 2014
Dual Spaces and Hahn-Banach Theorem
Keiko Narita
Narita, Keiko
, 
Noboru Endou
Endou, Noboru
 y 
Yasunari Shidama
Shidama, Yasunari
  
Acceso abierto | 30 mar 2014
Semiring of Sets
Roland Coghetto
Coghetto, Roland
  
Acceso abierto | 30 mar 2014
Semiring of Sets: Examples
Roland Coghetto
Coghetto, Roland
  
Acceso abierto | 30 mar 2014
Topological Interpretation of Rough Sets
Adam Grabowski
Grabowski, Adam
  

Buscar

Todos los volúmenes y ediciones en esta revista

eISSN:
1898-9934
Idioma:
Inglés
Calendario de la edición:
1 veces al año
Temas de la revista:
Matemáticas, Matemáticas generales, Informática, Informática, otros
RSS Feed de revista