DSpace Repository

Despre unele latice generate de logici implicaţionale

Show simple item record

dc.contributor.author NEGRU, Ion
dc.date.accessioned 2019-06-06T10:04:58Z
dc.date.available 2019-06-06T10:04:58Z
dc.date.issued 2015
dc.identifier.citation NEGRU, Ion. Despre unele latice generate de logici implicaţionale. In: Conferința Tehnico-Științifică a Colaboratorilor, Doctoranzilor și Studenților, Universitatea Tehnică a Moldovei, 20 – 21 octombrie, 2014. Chișinău, 2015, vol. 3, pp. 163-164. ISBN 978-9975-45-249-6. ISBN 978-9975-45-382-0 (Vol.3). en_US
dc.identifier.isbn 978-9975-45-249-6
dc.identifier.uri http://repository.utm.md/handle/5014/2709
dc.description Resursă electronică en_US
dc.description.abstract În lucrare se prezintă diagramele a nouă latici finite. Pentru fiecare dintre aceste latici s-au construit logici implicaţionale concrete care generează laticea dată. en_US
dc.language.iso ro en_US
dc.publisher Tehnica UTM en_US
dc.rights Attribution-NonCommercial-NoDerivs 3.0 United States *
dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/3.0/us/ *
dc.subject latice en_US
dc.subject logică implicaţională en_US
dc.subject regula de deducere Modus Ponens en_US
dc.title Despre unele latice generate de logici implicaţionale en_US
dc.type Article en_US


Files in this item

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivs 3.0 United States Except where otherwise noted, this item's license is described as Attribution-NonCommercial-NoDerivs 3.0 United States

Search DSpace


Advanced Search

Browse

My Account