undefined

The representation of Boolean algebras in the spotlight of a proof checker

Julkaisuvuosi

2014

Tekijät

Ceterchi, Rodica; Omodeo, Eugenio G.; Tomescu, Alexandru I.

Organisaatiot ja tekijät

Helsingin yliopisto

Tomescu Alexandru I.

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Volyymi

1195

Sivut

287-301

Julkaisu­foorumi

79018

Julkaisufoorumitaso

0

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Ei tietoa

Rinnakkaistallennettu

Ei tietoa

Muut tiedot

Tieteenalat

Matematiikka

Julkaisumaa

Italia

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Kyllä

Yhteisjulkaisu yrityksen kanssa

Ei tietoa

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä