undefined

< Takaisin hakutuloksiin

Solving Alternating Boolean Equation Systems in Answer Set Programming

Julkaisuvuosi

2005

Tekijät

Keinänen, Misa; Niemelä, Ilkka

Organisaatiot ja tekijät

Aalto-yliopisto

Niemelä Ilkka 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

Lecture Notes in Computer Science

Emojulkaisun nimi

Applications of Declarative Programming and Knowledge Management 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers

Konferenssi

INTERNATIONAL CONFERENCE ON APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT

Kustantaja

SPRINGER

Volyymi

3392

Sivut

134-148

ISSN

0302-9743

ISBN

978-3-540-25560-5

Julkaisu­foorumi

62555

Julkaisufoorumitaso

1

Avoin saatavuus

Avoin saatavuus kustantajan palvelussa

Ei

Rinnakkaistallennettu

Ei

Muut tiedot

Tieteenalat

Tietojenkäsittely ja informaatiotieteet

Avainsanat

[object Object]

Kustantajan kansainvälisyys

Kansainvälinen

Kieli

englanti

Kansainvälinen yhteisjulkaisu

Ei

Yhteisjulkaisu yrityksen kanssa

Ei

DOI

10.1007/11415763_9

Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen

Kyllä