SwePub
Sök i LIBRIS databas

  Utökad sökning

onr:"swepub:oai:DiVA.org:liu-41720"
 

Sökning: onr:"swepub:oai:DiVA.org:liu-41720" > A characterization ...

  • Doherty, Patrick,1957-Linköpings universitet,Tekniska högskolan,KPLAB - Laboratoriet för kunskapsbearbetning (författare)

A characterization result for circumscribed normal logic programs. Revised version accepted for publication : Special issue of honor of H. Rasiowa, Fundamenta Informaticae.

  • BokEngelska1995

Förlag, utgivningsår, omfång ...

  • Linköping, Sweden :Department of Computer and Information Science, Linköping University,1995
  • printrdacarrier

Nummerbeteckningar

  • LIBRIS-ID:oai:DiVA.org:liu-41720
  • https://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-41720URI

Kompletterande språkuppgifter

  • Språk:engelska

Ingår i deldatabas

Klassifikation

  • Ämneskategori:vet swepub-contenttype
  • Ämneskategori:rap swepub-publicationtype

Serie

  • LITH-IDA-R ;20

Ämnesord och genrebeteckningar

Biuppslag (personer, institutioner, konferenser, titlar ...)

  • Lukaszewicz, Witold,1947-Linköpings universitet,Tekniska högskolan,KPLAB - Laboratoriet för kunskapsbearbetning(Swepub:liu)wiflu32 (författare)
  • Szalas, Andrzej,1956-Linköpings universitet,Tekniska högskolan,KPLAB - Laboratoriet för kunskapsbearbetning(Swepub:liu)andsz77 (författare)
  • Linköpings universitetTekniska högskolan (creator_code:org_t)

Internetlänk

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...
Doherty, Patrick ...
Lukaszewicz, Wit ...
Szalas, Andrzej, ...
Om ämnet
NATURVETENSKAP
NATURVETENSKAP
och Data och informa ...
och Datavetenskap
Delar i serien
Av lärosätet
Linköpings universitet

Sök utanför SwePub

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy