undefined

< Takaisin hakutuloksiin

Writing declarative specifications for clauses

Julkaisuvuosi

2016

Tekijät

Gebser, Martin; Janhunen, Tomi; Kaminski, Roland; Schaub, Torsten; Tasharrofi, Shahab

Organisaatiot ja tekijät

Aalto-yliopisto

Tasharrofi Shahab

Janhunen Tomi Orcid -palvelun logo

Julkaisutyyppi

Julkaisumuoto

Artikkeli

Emojulkaisun tyyppi

Konferenssi

Artikkelin tyyppi

Muu artikkeli:

Yleisö

Tieteellinen

Vertaisarvioitu

Vertaisarvioitu

OKM:n julkaisutyyppiluokitus

A4 Artikkeli konferenssijulkaisussa

Julkaisukanavan tiedot

Lehti/Sarja

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Emojulkaisun nimi

Logics in Artificial Intelligence - 15th European Conference, JELIA 2016, Proceedings

Konferenssi

European Conference on Logics in Artificial Intelligence

Kustantaja

SPRINGER

Volyymi

10021 LNAI

Sivut

256-271

ISSN

0302-9743

ISBN

978-3-319-48757-1

Julkaisu­foorumi

62555

Julkaisufoorumitaso

1

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Ei

Rinnakkaistallennettu

Ei

Muut tiedot

Tieteenalat

Tietojenkäsittely ja informaatiotieteet

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Kyllä

Yhteisjulkaisu yrityksen kanssa

Ei

DOI

10.1007/978-3-319-48758-8_17

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä