Implementing Circumscription Using a Tableau Method

Tutkimustuotos: Työpaperi › Working paper › Professional

Alkuperäiskieli	Englanti
Julkaisupaikka	Koblenz, Germany
Sivumäärä	13
Tila	Julkaistu - 1996
OKM-julkaisutyyppi	D4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

OpenUrl-saatavuus

@techreport{03f0589ee4e240cc95ffffa1f7c0c710,

title = "Implementing Circumscription Using a Tableau Method",

author = "Ilkka Niemel{\"a}",

year = "1996",

language = "English",

series = "Fachbericht Informatik",

publisher = "Universit{\"a}t Koblenz-Landau",

number = "6-96",

type = "WorkingPaper",

institution = "Universit{\"a}t Koblenz-Landau",

}