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-12701
Direktlänk
http://sh.diva-portal.org/smash/record.jsf?pid=diva2:452152
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
The Underlying Search for Magic Templates and Tabulation
Bol, Roland
Degerstedt, Lars
1993 (Engelska)
Ingår i:
Logic programming: proceedings of the Tenth International Conference on Logic Programming / [ed] David S Warren, Cambridge: MIT Press , 1993, s. 793-811
Konferensbidrag, Publicerat paper (Refereegranskat)
Ort, förlag, år, upplaga, sidor
Cambridge: MIT Press , 1993. s. 793-811
Serie
Logic programming, ISSN 1061-0464
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN:
urn:nbn:se:sh:diva-12701
ISBN:
0-262-73105-3 (tryckt)
OAI: oai:DiVA.org:sh-12701
DiVA, id:
diva2:452152
Tillgänglig från:
2011-10-27
Skapad:
2011-10-28
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)
Sök vidare utanför DiVA
Google
Google Scholar
isbn
urn-nbn
Altmetricpoäng
isbn
urn-nbn
Totalt: 521 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-12701
Direktlänk
http://sh.diva-portal.org/smash/record.jsf?pid=diva2:452152
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