sh.se
Publikasjoner
vente ...
Enkelt søk
Avansert søk -
Forskningspublikasjoner
Avansert søk -
Studentoppgaver
Statistikk
English
Svenska
Norsk
Jump to content
Endre søk
Søk
Søk
Kun dokumenter med fulltekst i DiVA
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 4
CSV alle metadata
CSV alle metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:sh:diva-12667
Direct link
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
Annet 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
Annet format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet 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 (engelsk)
Doktoravhandling, monografi (Annet vitenskapelig)
sted, utgiver, år, opplag, sider
Linköping: Linköping university , 1996.
Serie
Linköping studies in science and technology. Dissertations, ISSN 0345-7524 ; 462
Emneord [en]
Deductive databases, Partial deduction procedure, Tabulated resolution, Programmering, Databashanteringssystem Programspråk
HSV kategori
Identifikatorer
URN:
urn:nbn:se:sh:diva-12667
ISBN:
91-7871-858-9 (tryckt)
OAI: oai:DiVA.org:sh-12667
DiVA, id:
diva2:452067
Veileder
Przymusinski, Teodor C., Professor
University of California at Riverside.
Nilsson, Ulf, professor
Linköping university.
Tilgjengelig fra:
2011-10-28
Laget:
2011-10-27
Sist oppdatert:
2025-10-07
bibliografisk kontrollert
Open Access i DiVA
Fulltekst mangler i DiVA
Person
Degerstedt, Lars
Søk i DiVA
Av forfatter/redaktør
Degerstedt, Lars
Om emnet
Søk utenfor DiVA
Google
Google Scholar
isbn
urn-nbn
Altmetric
isbn
urn-nbn
Totalt: 369 treff
Referera
Exportera
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 4
CSV alle metadata
CSV alle metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:sh:diva-12667
Direct link
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
Annet 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
Annet format
Fler format
Språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Annet språk
Fler språk
Utmatningsformat
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Skapa
Stäng
v. 2.47.0
|
Södertörns högskola
|
Kontakta SH DiVA-support
|
Registrera i DiVA
DiVA
Logotyp