Mittuniversitetet
miun.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:miun:diva-2483
Direktlänk
http://miun.diva-portal.org/smash/record.jsf?pid=diva2:27515
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
Intensional Modeling of Common Knowledge
Popov, Oliver
Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Institutionen för informationsteknologi och medier.
Popova, Iskra
Mittuniversitetet, Fakulteten för naturvetenskap, teknik och medier, Institutionen för informationsteknologi och medier.
1994 (Engelska)
Ingår i:
Third Electrotechnical and Computer Science Conference ERK’94, IEEE Section of Slovenia , 1994, s. 123-126
Konferensbidrag, Publicerat paper (Övrigt vetenskapligt)
Ort, förlag, år, upplaga, sidor
IEEE Section of Slovenia , 1994. s. 123-126
Nyckelord [en]
Intesional logic, modal system, common knnowledge
Nationell ämneskategori
Datavetenskap (datalogi)
Identifikatorer
URN:
urn:nbn:se:miun:diva-2483
Lokalt ID: 1720
OAI: oai:DiVA.org:miun-2483
DiVA, id:
diva2:27515
Tillgänglig från:
2008-09-30
Skapad:
2008-09-30
Senast uppdaterad:
2025-09-25
Bibliografiskt granskad
Open Access i DiVA
Fulltext saknas i DiVA
Person
Popov, Oliver
Popova, Iskra
Sök vidare i DiVA
Av författaren/redaktören
Popov, Oliver
Popova, Iskra
Av organisationen
Institutionen för informationsteknologi och medier
I ämnet
Datavetenskap (datalogi)
Sök vidare utanför DiVA
Google
Google Scholar
urn-nbn
Altmetricpoäng
urn-nbn
Totalt: 84 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:miun:diva-2483
Direktlänk
http://miun.diva-portal.org/smash/record.jsf?pid=diva2:27515
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.47.0
|
WCAG
|
Mittuniversitetets bibliotek
|
Mittuniversitetet - Forskning
|
DiVA Login
|
Kontakt
DiVA
Logotyp