Term Models of Horn Clauses over Rational Pavelka Predicate Logic

V. Costa; M. Pilar Dellunde Clave

Term Models of Horn Clauses over Rational Pavelka Predicate Logic

Departament de Filosofia

Producció científica: Capítol de llibre › Capítol › Recerca

Idioma original	Anglès
Títol de la publicació	47th IEEE International Symposium on Multiple-Valued Logic Proceedings (ISMVL). Proceedings of a meeting held 22-24 May 2017, Novi Sad, Serbia
Editor	IEEE Computer Society
Pàgines	112-117
Nombre de pàgines	5
Edició	1
ISBN (imprès)	978-1-5090-5496-1
Estat de la publicació	Publicada - 1 de gen. 2017

Com citar-ho

@inbook{509f184f57dc4650ada3947c0820af8a,

title = "Term Models of Horn Clauses over Rational Pavelka Predicate Logic",

author = "V. Costa and {Dellunde Clave}, {M. Pilar}",

year = "2017",

month = jan,

day = "1",

language = "English",

isbn = "978-1-5090-5496-1",

pages = "112--117",

booktitle = "47th IEEE International Symposium on Multiple-Valued Logic Proceedings (ISMVL). Proceedings of a meeting held 22-24 May 2017, Novi Sad, Serbia",

publisher = "IEEE Computer Society",

address = "United States",

edition = "1",

}

TY - CHAP

T1 - Term Models of Horn Clauses over Rational Pavelka Predicate Logic

AU - Costa, V.

AU - Dellunde Clave, M. Pilar

PY - 2017/1/1

Y1 - 2017/1/1

M3 - Chapter

SN - 978-1-5090-5496-1

SP - 112

EP - 117

BT - 47th IEEE International Symposium on Multiple-Valued Logic Proceedings (ISMVL). Proceedings of a meeting held 22-24 May 2017, Novi Sad, Serbia

PB - IEEE Computer Society

ER -