SwePub
Sök i LIBRIS databas

  Utökad sökning

id:"swepub:oai:DiVA.org:uu-411683"
 

Sökning: id:"swepub:oai:DiVA.org:uu-411683" > Generalised Horn Cl...

Generalised Horn Clauses as a Programming Language

Aronsson, Martin (författare)
Swedish Institute of Computer Science (SICS)
Eriksson, Lars-Henrik (författare)
Swedish Institute of Computer Science (SICS)
Gäredal, Anette (författare)
Swedish Institute of Computer Science (SICS)
visa fler...
Hallnäs, Lars (författare)
Swedish Institute of Computer Science (SICS)
Olin, Peter (författare)
Swedish Institute of Computer Science (SICS)
visa färre...
 (creator_code:org_t)
1989
1989
Engelska.
Ingår i: Proceedings of the Second Scandinavian Conference on Artificial Intelligence.
  • Konferensbidrag (övrigt vetenskapligt/konstnärligt)
Ämnesord
Stäng  

Ämnesord

NATURVETENSKAP  -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
NATURAL SCIENCES  -- Computer and Information Sciences -- Computer Sciences (hsv//eng)

Nyckelord

Computing Science
Datalogi

Publikations- och innehållstyp

vet (ämneskategori)
kon (ämneskategori)

Till lärosätets databas

Hitta mer i SwePub

Av författaren/redakt...
Aronsson, Martin
Eriksson, Lars-H ...
Gäredal, Anette
Hallnäs, Lars
Olin, Peter
Om ämnet
NATURVETENSKAP
NATURVETENSKAP
och Data och informa ...
och Datavetenskap
Artiklar i publikationen
Av lärosätet
Uppsala 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