undefined

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

Vetenskaplig

Kollegialt utvärderad

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Moderpublikationens namn

CEUR Workshop Proceedings

Volym

1195

Sidor

287-301

Publikationsforum

79018

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