Mostra el registre d'ítem simple

dc.contributor.authorCriscuolo, Giovanni
dc.date.accessioned2007-04-03T08:17:24Z
dc.date.available2007-04-03T08:17:24Z
dc.date.issued1996
dc.identifier.issn1134-5632
dc.identifier.urihttp://hdl.handle.net/2099/2614
dc.format.extent7
dc.language.isoeng
dc.publisherUniversitat Politècnica de Catalunya. Secció de Matemàtiques i Informàtica
dc.relation.ispartofMathware & soft computing . 1996 Vol. 3 Núm. 1 [ -2 ]p.59-65
dc.rightsReconeixement-NoComercial-CompartirIgual 3.0 Espanya
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.subject.otherLogic programming
dc.subject.otherNegation
dc.subject.otherOM pairs
dc.titleA metatheoretical characterization of negation as finite failure
dc.typeArticle
dc.subject.lemacLògica matemàtica
dc.subject.lemacIntel·ligència artificial
dc.subject.lemacSistemes experts (Informàtica)
dc.subject.amsClassificació AMS::03 Mathematical logic and foundations::03B General logic
dc.rights.accessOpen Access


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple