Umeå universitets logga
umu.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:umu:diva-144607
Direktlänk
https://umu.diva-portal.org/smash/record.jsf?pid=diva2:1181032
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annat format
apa
ieee
modern-language-association-8th-edition
vancouver
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
Using HOL Light to Reason over Second-Order MRLs
Minock, Michael
KTH Royal Institute of Technology.
ORCID-id:
0000-0001-7088-3070
2016 (Engelska)
Konferensbidrag, Poster (med eller utan abstract) (Refereegranskat)
Ort, förlag, år, upplaga, sidor
2016.
Nationell ämneskategori
Språkteknologi (språkvetenskaplig databehandling)
Forskningsämne
datalogi
Identifikatorer
URN:
urn:nbn:se:umu:diva-144607
OAI: oai:DiVA.org:umu-144607
DiVA, id:
diva2:1181032
Konferens
The Sixth Swedish Language Technology Conference (SLTC) Umeå University, 17-18 November, 2016
Tillgänglig från:
2018-02-07
Skapad:
2018-02-07
Senast uppdaterad:
2018-06-09
Bibliografiskt granskad
Open Access i DiVA
fulltext
(190 kB)
71 nedladdningar
Filinformation
Filnamn
FULLTEXT01.pdf
Filstorlek
190 kB
Checksumma
SHA-512
62b04a4f8941940003a0ba6f6a0e4758b69041afcbfcfe7b164da063a5b292544e492a0f02b0eabbfdd700cfdac44da922ba6b574511347ee59d44203dc1a4a9
Typ
fulltext
Mimetyp
application/pdf
Övriga länkar
URL
Person
Minock, Michael
Sök vidare i DiVA
Av författaren/redaktören
Minock, Michael
I ämnet
Språkteknologi (språkvetenskaplig databehandling)
Sök vidare utanför DiVA
Google
Google Scholar
Totalt: 71 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.
urn-nbn
Altmetricpoäng
urn-nbn
Totalt: 306 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:umu:diva-144607
Direktlänk
https://umu.diva-portal.org/smash/record.jsf?pid=diva2:1181032
Referera
Referensformat
apa
ieee
modern-language-association-8th-edition
vancouver
Annat format
apa
ieee
modern-language-association-8th-edition
vancouver
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.41.0
|
WCAG
|
Umeå universitetsbibliotek
|
Registrera i DiVA
|
Support
|
Sök i DiVA portal
DiVA
Logotyp