Rivista e Edizione

Volume 29 (2021): Edizione 4 (December 2021)

Volume 29 (2021): Edizione 3 (October 2021)

Volume 29 (2021): Edizione 2 (July 2021)

Volume 29 (2021): Edizione 1 (April 2021)

Volume 28 (2020): Edizione 4 (December 2020)

Volume 28 (2020): Edizione 3 (October 2020)

Volume 28 (2020): Edizione 2 (July 2020)

Volume 28 (2020): Edizione 1 (April 2020)

Volume 27 (2019): Edizione 4 (December 2019)

Volume 27 (2019): Edizione 3 (October 2019)

Volume 27 (2019): Edizione 2 (July 2019)

Volume 27 (2019): Edizione 1 (April 2019)

Volume 26 (2018): Edizione 4 (December 2018)

Volume 26 (2018): Edizione 3 (October 2018)

Volume 26 (2018): Edizione 2 (July 2018)

Volume 26 (2018): Edizione 1 (April 2018)

Volume 25 (2017): Edizione 4 (December 2017)

Volume 25 (2017): Edizione 3 (October 2017)

Volume 25 (2017): Edizione 2 (July 2017)

Volume 25 (2017): Edizione 1 (March 2017)

Volume 24 (2016): Edizione 4 (December 2016)

Volume 24 (2016): Edizione 3 (September 2016)

Volume 24 (2016): Edizione 2 (June 2016)

Volume 24 (2016): Edizione 1 (March 2016)

Volume 23 (2015): Edizione 4 (December 2015)

Volume 23 (2015): Edizione 3 (September 2015)

Volume 23 (2015): Edizione 2 (June 2015)

Volume 23 (2015): Edizione 1 (March 2015)

Volume 22 (2014): Edizione 4 (December 2014)

Volume 22 (2014): Edizione 3 (September 2014)

Volume 22 (2014): Edizione 2 (June 2014)
Special Edizione: 25 years of the Mizar Mathematical Library

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

Volume 21 (2013): Edizione 4 (December 2013)

Volume 21 (2013): Edizione 3 (October 2013)

Volume 21 (2013): Edizione 2 (June 2013)

Volume 21 (2013): Edizione 1 (January 2013)

Volume 20 (2012): Edizione 4 (December 2012)

Volume 20 (2012): Edizione 3 (September 2012)

Volume 20 (2012): Edizione 2 (June 2012)

Volume 20 (2012): Edizione 1 (January 2012)

Volume 19 (2011): Edizione 4 (December 2011)

Volume 19 (2011): Edizione 3 (September 2011)

Volume 19 (2011): Edizione 2 (June 2011)

Volume 19 (2011): Edizione 1 (March 2011)

Volume 18 (2010): Edizione 4 (December 2010)

Volume 18 (2010): Edizione 3 (September 2010)

Volume 18 (2010): Edizione 2 (June 2010)

Volume 18 (2010): Edizione 1 (March 2010)

Volume 17 (2009): Edizione 4 (December 2009)

Volume 17 (2009): Edizione 3 (September 2009)

Volume 17 (2009): Edizione 2 (June 2009)

Volume 17 (2009): Edizione 1 (March 2009)

Volume 16 (2008): Edizione 4 (December 2008)

Volume 16 (2008): Edizione 3 (September 2008)

Volume 16 (2008): Edizione 2 (June 2008)

Volume 16 (2008): Edizione 1 (March 2008)

Volume 15 (2007): Edizione 4 (December 2007)

Volume 15 (2007): Edizione 3 (September 2007)

Volume 15 (2007): Edizione 2 (June 2007)

Volume 15 (2007): Edizione 1 (March 2007)

Volume 14 (2006): Edizione 4 (December 2006)

Volume 14 (2006): Edizione 3 (September 2006)

Volume 14 (2006): Edizione 2 (June 2006)

Volume 14 (2006): Edizione 1 (March 2006)

Dettagli della rivista
Formato
Rivista
eISSN
1898-9934
ISSN
1426-2630
Pubblicato per la prima volta
09 Jun 2008
Periodo di pubblicazione
4 volte all'anno
Lingue
Inglese

Cerca

Volume 24 (2016): Edizione 2 (June 2016)

Dettagli della rivista
Formato
Rivista
eISSN
1898-9934
ISSN
1426-2630
Pubblicato per la prima volta
09 Jun 2008
Periodo di pubblicazione
4 volte all'anno
Lingue
Inglese

Cerca

5 Articoli
access type Accesso libero

On Multiset Ordering

Pubblicato online: 08 Dec 2016
Pagine: 95 - 106

Astratto

Parole chiave

  • ordering
  • Dershowitz-Manna ordering

MSC 2010

  • 06F05
  • 03B35
access type Accesso libero

Cousin’s Lemma

Pubblicato online: 08 Dec 2016
Pagine: 107 - 119

Astratto

Parole chiave

  • Cousin’s lemma
  • Cousin’s theorem
  • nested intervals theorem

MSC 2010

  • 54D30
  • 03B35
access type Accesso libero

Chebyshev Distance

Pubblicato online: 08 Dec 2016
Pagine: 121 - 141

Astratto

Parole chiave

  • second-countable
  • intervals
  • Chebyshev distance

MSC 2010

  • 54E35
  • 03B35
access type Accesso libero

Binary Relations-based Rough Sets – an Automated Approach

Pubblicato online: 08 Dec 2016
Pagine: 143 - 155

Astratto

Parole chiave

  • rough set
  • lower approximation
  • upper approximation
  • binary relation

MSC 2010

  • 03E70
  • 03E99
  • 03B35
access type Accesso libero

Tarski Geometry Axioms – Part II

Pubblicato online: 08 Dec 2016
Pagine: 157 - 166

Astratto

Parole chiave

  • Tarski’s geometry axioms
  • foundations of geometry
  • Euclidean plane

MSC 2010

  • 51A05
  • 51M04
  • 03B35
5 Articoli
access type Accesso libero

On Multiset Ordering

Pubblicato online: 08 Dec 2016
Pagine: 95 - 106

Astratto

Parole chiave

  • ordering
  • Dershowitz-Manna ordering

MSC 2010

  • 06F05
  • 03B35
access type Accesso libero

Cousin’s Lemma

Pubblicato online: 08 Dec 2016
Pagine: 107 - 119

Astratto

Parole chiave

  • Cousin’s lemma
  • Cousin’s theorem
  • nested intervals theorem

MSC 2010

  • 54D30
  • 03B35
access type Accesso libero

Chebyshev Distance

Pubblicato online: 08 Dec 2016
Pagine: 121 - 141

Astratto

Parole chiave

  • second-countable
  • intervals
  • Chebyshev distance

MSC 2010

  • 54E35
  • 03B35
access type Accesso libero

Binary Relations-based Rough Sets – an Automated Approach

Pubblicato online: 08 Dec 2016
Pagine: 143 - 155

Astratto

Parole chiave

  • rough set
  • lower approximation
  • upper approximation
  • binary relation

MSC 2010

  • 03E70
  • 03E99
  • 03B35
access type Accesso libero

Tarski Geometry Axioms – Part II

Pubblicato online: 08 Dec 2016
Pagine: 157 - 166

Astratto

Parole chiave

  • Tarski’s geometry axioms
  • foundations of geometry
  • Euclidean plane

MSC 2010

  • 51A05
  • 51M04
  • 03B35

Pianifica la tua conferenza remota con Sciendo