TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

A Safety Verification for e-Business Model Based on Paraconsistent Annotated Logic Program bf-EVALPSN

Tutkimustuotosvertaisarvioitu

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoSmart Digital Futures 2014, Conference: Intelligent Decision Technologies 2014
KustantajaIOS Press
Sivut248 - 257
Sivumäärä10
ISBN (elektroninen)978-1-61499-405-3
ISBN (painettu)978-1-61499-404-6
DOI - pysyväislinkit
TilaJulkaistu - 2014
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisussa
TapahtumaInternational Conference on Intelligent Decision Technologies -
Kesto: 1 tammikuuta 2014 → …

Julkaisusarja

NimiFrontiers in Artificial Intelligence and Applications
Vuosikerta262
ISSN (painettu)0922-6389

Conference

ConferenceInternational Conference on Intelligent Decision Technologies
Ajanjakso1/01/14 → …

Julkaisufoorumi-taso