SwePub
Sök i LIBRIS databas

  Utökad sökning

id:"swepub:oai:DiVA.org:su-33899"
 

Sökning: id:"swepub:oai:DiVA.org:su-33899" > Method for efficien...

Method for efficiently checking coverage of rules derived from a logical theory

Boström, Henrik (författare)
Stockholms universitet,Institutionen för data- och systemvetenskap
 (creator_code:org_t)
2008
Engelska.
  • Patent (populärvet., debatt m.m.)
Ämnesord
Stäng  

Publikations- och innehållstyp

pop (ämneskategori)
pat (ämneskategori)

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...
Boström, Henrik
Av lärosätet
Stockholms 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