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

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

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

Alkuperäiskielienglanti
OtsikkoProceedings of the 29th Italian Conference on Computational Logic : Torino, Italy, June 16-18, 2014
ToimittajatLaura Giordano, Valentina Gliozzi , Gian Luca Pozzato
Sivumäärä15
KustantajaCEUR Workshop Proceedings
Julkaisupäivä2014
Sivut287-301
TilaJulkaistu - 2014
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaItalian conference on computational logic - Torino, Italia
Kesto: 16 kesäkuuta 201418 kesäkuuta 2014
Konferenssinumero: 29

Julkaisusarja

NimiCEUR Workshop Proceedings
KustantajaRheinisch-Westfaelische Technische Hochschule Aachen
Vuosikerta1195
ISSN (painettu)1613-0073

Tieteenalat

  • 111 Matematiikka

Siteeraa tätä

Ceterchi, R., Omodeo, E. G., & Tomescu, A. I. (2014). The representation of Boolean algebras in the spotlight of a proof checker. teoksessa L. Giordano, V. Gliozzi , & G. L. Pozzato (Toimittajat), Proceedings of the 29th Italian Conference on Computational Logic: Torino, Italy, June 16-18, 2014 (Sivut 287-301). (CEUR Workshop Proceedings; Vuosikerta 1195). CEUR Workshop Proceedings.