Acceso abierto

Formalized Mathematics

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

Descargar portada

Edición anterior

Próxima edición

10 Artículos

Ordenar por

Categorías

Acceso abierto | 30 mar 2014

Definition of Flat Poset and Existence Theorems for Recursive Call

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

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

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

Volumen 32 (2024)

Edición 1 (Agosto 2024)

Volumen 31 (2023)

Edición 1 (Septiembre 2023)

Volumen 30 (2022)

Volumen 29 (2021)

Volumen 28 (2020)

Volumen 27 (2019)

Volumen 26 (2018)

Volumen 25 (2017)

Volumen 24 (2016)

Volumen 23 (2015)

Volumen 22 (2014)

Volumen 21 (2013)

Volumen 20 (2012)

Volumen 19 (2011)

Volumen 18 (2010)

Volumen 17 (2009)

Volumen 16 (2008)

Volumen 15 (2007)

Volumen 14 (2006)

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