A Paraconsistent Higher Order Logic

Jørgen Villadsen

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

Originalsprog	Engelsk
Titel	Artificial Intelligence and Symbolic Computation : AISC 2004. Proceedings
Redaktører	B. Buchberger, J. A. Campbell
Forlag	Kluwer Academic Publishers
Publikationsdato	2004
Sider	38-51
ISBN (Trykt)	3-540-23212-5
Status	Udgivet - 2004

Navn	Lecture Notes in Computer Science
Vol/bind	3249
ISSN	0302-9743

Link til dokument

@inbook{cf8c5a2052bd11dba4bc000ea68e967b,

title = "A Paraconsistent Higher Order Logic",

author = "J{\o}rgen Villadsen",

year = "2004",

language = "English",

isbn = "3-540-23212-5",

series = "Lecture Notes in Computer Science",

publisher = "Kluwer Academic Publishers",

pages = "38--51",

editor = "B. Buchberger and Campbell, {J. A.}",

booktitle = "Artificial Intelligence and Symbolic Computation",

}