Umeå universitets logga

umu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • 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
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Using HOL Light to Reason over Second-Order MRLs
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-144607OAI: oai:DiVA.org:umu-144607DiVA, 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-09Bibliografiskt granskad

Open Access i DiVA

fulltext(190 kB)71 nedladdningar
Filinformation
Filnamn FULLTEXT01.pdfFilstorlek 190 kBChecksumma SHA-512
62b04a4f8941940003a0ba6f6a0e4758b69041afcbfcfe7b164da063a5b292544e492a0f02b0eabbfdd700cfdac44da922ba6b574511347ee59d44203dc1a4a9
Typ fulltextMimetyp application/pdf

Övriga länkar

URL

Person

Minock, Michael

Sök vidare i DiVA

Av författaren/redaktören
Minock, Michael
Språkteknologi (språkvetenskaplig databehandling)

Sök vidare utanför DiVA

GoogleGoogle 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
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • 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
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf