sh.se
Publikationer
Vänta ...
Enkel sökning
Avancerad sökning -
Forskningspublikationer
Avancerad sökning -
Studentuppsatser
Statistik
English
Svenska
Norsk
Hoppa till innehåll
Ändra sökning
Sök
Sök
Endast dokument med fulltext i DiVA
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Länk till posten
Permanent länk
https://urn.kb.se/resolve?urn=urn:nbn:se:sh:diva-12667
Direktlänk
http://sh.diva-portal.org/smash/record.jsf?pid=diva2:452067
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
harvard-anglia-ruskin-university
apa-old-doi-prefix.csl
sodertorns-hogskola-harvard.csl
sodertorns-hogskola-oxford.csl
Annat format
apa
ieee
modern-language-association-8th-edition
vancouver
harvard-anglia-ruskin-university
apa-old-doi-prefix.csl
sodertorns-hogskola-harvard.csl
sodertorns-hogskola-oxford.csl
Annat format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
Tabulation-based Logic Programming
:
A Multi-level View of Query Answering
Degerstedt, Lars
1996 (Engelska)
Doktorsavhandling, monografi (Övrigt vetenskapligt)
Ort, förlag, år, upplaga, sidor
Linköping: Linköping university , 1996.
Serie
Linköping studies in science and technology. Dissertations, ISSN 0345-7524 ; 462
Nyckelord [en]
Deductive databases, Partial deduction procedure, Tabulated resolution, Programmering, Databashanteringssystem Programspråk
Nationell ämneskategori
Datavetenskap (datalogi) Systemvetenskap, informationssystem och informatik
Identifikatorer
URN:
urn:nbn:se:sh:diva-12667
ISBN:
91-7871-858-9 (tryckt)
OAI: oai:DiVA.org:sh-12667
DiVA, id:
diva2:452067
Handledare
Przymusinski, Teodor C., Professor
University of California at Riverside.
Nilsson, Ulf, professor
Linköping university.
Tillgänglig från:
2011-10-28
Skapad:
2011-10-27
Senast uppdaterad:
2025-10-07
Bibliografiskt granskad
Open Access i DiVA
Fulltext saknas i DiVA
Person
Degerstedt, Lars
Sök vidare i DiVA
Av författaren/redaktören
Degerstedt, Lars
I ämnet
Datavetenskap (datalogi)
Systemvetenskap, informationssystem och informatik
Sök vidare utanför DiVA
Google
Google Scholar
isbn
urn-nbn
Altmetricpoäng
isbn
urn-nbn
Totalt: 369 träffar
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Länk till posten
Permanent länk
https://urn.kb.se/resolve?urn=urn:nbn:se:sh:diva-12667
Direktlänk
http://sh.diva-portal.org/smash/record.jsf?pid=diva2:452067
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
harvard-anglia-ruskin-university
apa-old-doi-prefix.csl
sodertorns-hogskola-harvard.csl
sodertorns-hogskola-oxford.csl
Annat format
apa
ieee
modern-language-association-8th-edition
vancouver
harvard-anglia-ruskin-university
apa-old-doi-prefix.csl
sodertorns-hogskola-harvard.csl
sodertorns-hogskola-oxford.csl
Annat format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annat språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
v. 2.47.0
|
WCAG
|
Södertörns högskola
|
Kontakta SH DiVA-support
|
Registrera i DiVA
DiVA
Logotyp