Sökning: onr:"swepub:oai:DiVA.org:liu-41720" >
A characterization ...
A characterization result for circumscribed normal logic programs. Revised version accepted for publication : Special issue of honor of H. Rasiowa, Fundamenta Informaticae.
-
- Doherty, Patrick, 1957- (författare)
- Linköpings universitet,Tekniska högskolan,KPLAB - Laboratoriet för kunskapsbearbetning
-
- Lukaszewicz, Witold, 1947- (författare)
- Linköpings universitet,Tekniska högskolan,KPLAB - Laboratoriet för kunskapsbearbetning
-
- Szalas, Andrzej, 1956- (författare)
- Linköpings universitet,Tekniska högskolan,KPLAB - Laboratoriet för kunskapsbearbetning
-
(creator_code:org_t)
- Linköping, Sweden : Department of Computer and Information Science, Linköping University, 1995
- Engelska.
-
Serie: LITH-IDA-R ; 20
- Relaterad länk:
-
https://urn.kb.se/re...
Ämnesord
Stäng
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Computer science
- Datavetenskap
Publikations- och innehållstyp
- vet (ämneskategori)
- rap (ämneskategori)