The representation of Boolean algebras in the spotlight of a proof checker
Publiceringsår
2014
Upphovspersoner
Ceterchi, Rodica; Omodeo, Eugenio G.; Tomescu, Alexandru I.
Organisationer och upphovspersoner
Helsingfors universitet
Tomescu Alexandru I.
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Journal
Moderpublikationens namn
Volym
1195
Sidor
287-301
ISSN
Publikationsforum
Publikationsforumsnivå
0
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ingen information
Parallellsparad
Okänd
Övriga uppgifter
Vetenskapsområden
Matematik
Publiceringsland
Italien
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Okänd
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja