SwePub
Sök i LIBRIS databas

  Extended search

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

Search: id:"swepub:oai:DiVA.org:uu-411683" > Generalised Horn Cl...

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist
  • Aronsson, MartinSwedish Institute of Computer Science (SICS) (author)

Generalised Horn Clauses as a Programming Language

  • Article/chapterEnglish1989

Publisher, publication year, extent ...

  • 1989
  • printrdacarrier

Numbers

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

Supplementary language notes

  • Language:English

Part of subdatabase

Classification

  • Subject category:vet swepub-contenttype
  • Subject category:kon swepub-publicationtype

Subject headings and genre

Added entries (persons, corporate bodies, meetings, titles ...)

  • Eriksson, Lars-HenrikSwedish Institute of Computer Science (SICS)(Swepub:uu)larserik (author)
  • Gäredal, AnetteSwedish Institute of Computer Science (SICS) (author)
  • Hallnäs, LarsSwedish Institute of Computer Science (SICS) (author)
  • Olin, PeterSwedish Institute of Computer Science (SICS) (author)
  • Swedish Institute of Computer Science (SICS) (creator_code:org_t)

Related titles

  • In:Proceedings of the Second Scandinavian Conference on Artificial Intelligence

Internet link

To the university's database

  • 1 of 1
  • Previous record
  • Next record
  •    To hitlist

Find more in SwePub

By the author/editor
Aronsson, Martin
Eriksson, Lars-H ...
Gäredal, Anette
Hallnäs, Lars
Olin, Peter
About the subject
NATURAL SCIENCES
NATURAL SCIENCES
and Computer and Inf ...
and Computer Science ...
Articles in the publication
By the university
Uppsala University

Search outside 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 Close

Copy and save the link in order to return to this view