Formalized Mathematics's Cover Image
Uneingeschränkter Zugang

Formalized Mathematics

Volume 22 (2014): Issue 1 (March 2014)

COVER HERUNTERLADEN
Vorherige Ausgabe
Nächste Ausgabe
10 Artikel
Uneingeschränkter Zugang | 30. März 2014
Definition of Flat Poset and Existence Theorems for Recursive Call
Kazuhisa Ishida
Kazuhisa Ishida
, 
Yasunari Shidama
Yasunari Shidama
 und 
Adam Grabowski
Adam Grabowski
  
Uneingeschränkter Zugang | 30. März 2014
Tietze Extension Theorem for n-dimensional Spaces
Karol Pąk
Karol Pąk
  
Uneingeschränkter Zugang | 30. März 2014
Brouwer Invariance of Domain Theorem
Karol Pąk
Karol Pąk
  
Uneingeschränkter Zugang | 30. März 2014
The Formalization of Decision-Free Petri Net
Pratima K. Shah
Pratima K. Shah
, 
Pauline N. Kawamoto
Pauline N. Kawamoto
 und 
Mariusz Giero
Mariusz Giero
  
Uneingeschränkter Zugang | 30. März 2014
Abstract Reduction Systems and Idea of Knuth-Bendix Completion Algorithm
Grzegorz Bancerek
Grzegorz Bancerek
  
Uneingeschränkter Zugang | 30. März 2014
Double Series and Sums
Noboru Endou
Noboru Endou
  
Uneingeschränkter Zugang | 30. März 2014
Dual Spaces and Hahn-Banach Theorem
Keiko Narita
Keiko Narita
, 
Noboru Endou
Noboru Endou
 und 
Yasunari Shidama
Yasunari Shidama
  
Uneingeschränkter Zugang | 30. März 2014
Semiring of Sets
Roland Coghetto
Roland Coghetto
  
Uneingeschränkter Zugang | 30. März 2014
Semiring of Sets: Examples
Roland Coghetto
Roland Coghetto
  
Uneingeschränkter Zugang | 30. März 2014
Topological Interpretation of Rough Sets
Adam Grabowski
Adam Grabowski
  

Suche

Alle Bände und Hefte dieser Zeitschrift

eISSN:
1898-9934
Sprache:
Englisch
Zeitrahmen der Veröffentlichung:
Volume Open
Fachgebiete der Zeitschrift:
Informatik, andere, Mathematik, Allgemeines
Zeitschrift RSS Feed