sh.se
Publikationer
Driftstörningar
Det förekommer återkommande driftstörningar på några av sök-portalerna på grund av hög belastning. Vi arbetar på att lösa problemet, ni kan tillfälligt mötas av ett felmeddelande.
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-12669
Direktlänk
http://sh.diva-portal.org/smash/record.jsf?pid=diva2:452069
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
Tabulated Resolution for the Well-founded Semantics
Degerstedt, Lars
1993 (Engelska)
Licentiatavhandling, monografi (Övrigt vetenskapligt)
Ort, förlag, år, upplaga, sidor
Linköping: Linköpings tekniska högskola , 1993. , s. 81
Serie
Licenciatavhandling, ISSN 0280-7971 ; 402
Nationell ämneskategori
Datavetenskap (datalogi) Systemvetenskap, informationssystem och informatik
Identifikatorer
URN:
urn:nbn:se:sh:diva-12669
ISBN:
91-7871-183-5 (tryckt)
OAI: oai:DiVA.org:sh-12669
DiVA, id:
diva2:452069
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: 410 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-12669
Direktlänk
http://sh.diva-portal.org/smash/record.jsf?pid=diva2:452069
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.49.0
|
WCAG
|
Södertörns högskola
|
Kontakta SH DiVA-support
|
Registrera i DiVA
DiVA
Logotyp