Implementing Circumscription Using a Tableau Method

Tutkimustuotos: TyöpaperiWorking paperProfessional

AlkuperäiskieliEnglanti
JulkaisupaikkaKoblenz, Germany
Sivumäärä13
TilaJulkaistu - 1996
OKM-julkaisutyyppiD4 Julkaistu kehittämis- tai tutkimusraportti taikka -selvitys

Julkaisusarja

NimiFachbericht Informatik
KustantajaUniversität Koblenz-Landau
Numero6-96

Siteeraa tätä