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ö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Konferenssi
Volyymi
1195
Sivut
287-301
ISSN
Julkaisufoorumi
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ä