Pirkanmaan liiton julkaisu : B
name: Acta Academiae Aboensis, Humaniora 34: 1
name: Tiedonantoja / Tampereen yliopisto, aluetieteen ja ympäristopolitiikan laitos
name: Väestöntutkimuslaitos. E
name: Oulun yliopisto. Konetekniikan osasto. Raportti
name: Publications of the Department of History, University of Helsinki
name: Publications of Kymenlaakso University of Applied Sciences. Series B : Research and reports
name: Vaasan yliopiston julkaisuja : Selvityksiä ja reportteja
name: Päijät-Hämeen maakunta- ja seutukaavaliiton julkaisu. A
name: Tiedotteita / Valtion teknillinen tutkimuskeskus
name: Tilastotiedote / STAKES
name: Julkaisuja / Tampereen yliopisto. Taideaineiden laitos
name: Vaasan yliop. julk., Tutk., Hall.t
name: Aavaranta-Sarja
name: Julkaisusarja (Maanpuolustuskorkeakoulu. Käyttäytymistieteiden laitos). 1
name: Publikacii / Ministerstvo social'nogo obespečeniâ i zdravoohraneniâ
name: KTM julkaisuja / Elinkeino-osasto
name: Teknillinen korkeakoulu, tietotekniikan osasto, tietoliikenneohjelmistojen ja multimedian laboratorio : A
name: Rep. - Hels. Univ. of Technol., Dep. of Tech. Phys., B
name: Hämeen ammattikorkeakoulun julkaisuja. C
name: Tutkimuksia / Tampereen yliopisto, sosiaalipolitiikan laitos. Sarja A
name: Report / University of Helsinki. Institute of Seismology. S
name: Jyväskylän yliopisto. Filosofian laitos. Julkaisu
name: Turun yliopiston kasvatustieteiden tiedekunnan julkaisuja : A
name: Julkaisusarja / Turun yliopisto, kasvatustieteiden tiedekunta : B
name: Valtionhallinnon tieto- ja kyberturvallisuuden johtoryhmä
name: Humanistinen ammattikorkeakoulu. Sarja F, Katsauksia ja aineistoja
name: Helsingin yliopiston yksityisoikeuden laitoksen julkaisuja, Opetusmoniste
name: Savonia-ammattikorkeakoulun julkaisusarja. D
name: Tutkimuksia ja selvityksiä / Kuopion yliopisto. Koulutus- ja kehittämiskeskus
name: Tampereen yliopisto, yrityksen taloustieteen ja yksityisoikeuden laitos : Sarja A 2, Tutkielmia ja raportteja
name: Terveys (Hels., 1936)
name: Historiallisia Tutkimuksia : 142
name: Julkaisusarja / Turun yliopiston kasvatustieteiden tiedekunta : B
name: Matemaattisten tieteiden laitoksen julkaisuja / Tampereen yliopisto. A
name: Raportteja / STAKES
name: Teknillinen korkeakoulu. Sähkötekniikan osasto. Sähk ̈mekaniikan laboratorio
name: Geodesian ja kartogafian laboratorion julkaisu / Teknillinen korkeakoulu
name: Finansministeriet publikationer
name: Opintomoniste / Tampereen teknillinen yliopisto
name: Työrap. - Hels. yliop., Sos. pol. laitos
name: Oulun yliopisto. Pohjois-Suomen tutkimuslaitos. C
name: Helsingin yliopiston Maaseudun tutkimus- ja koulutuskeskus : Sarja. B
name: Selvityksiä / Maa- ja elintarviketalouden tutkimuskeskus, Taloustutkimus
name: Jyväskylän yliopisto. Terveystieteen laitos. Sarja C, Opetusmonisteita
name: Tampereen teknillinen korkeakoulu. Yhdyskuntasuunnittelun laitos. Julkaisuja
name: Publications of the Department of Business Economics and Business Law / University of Tampere. Serie[s] A
name: Julkaisu / Etelä-Pohjanmaan liitto. B
name: Suomalaisen Kirjallisuuden Seuran Toimituksia
name: Teknillinen korkeakoulu. sähkötekniikan osasto. sähkömekaniikan laboratorio
name: Selosteita ja katsauksia
name: Aalto University publication series : Business + economy
name: Sarja A / Tampereen yliopisto. Tiedotusopin laitos
name: Pirkanmaan liitto : Sarja C
name: Julkaisuja / Tampereen yliopisto, tiedotusopin laitos, journalismin tutkimusyksikkö. C, Keskusteluja ja katsauksia
name: Working papers / University of Art and Design Helsinki : F
name: Sarja B: projektiraportit ja selvitykset
name: Kansanterveyden laitos, Jyväskylän yliopisto : Sarja C, Opetusmonisteita
name: Publication series of the University of Industrial Arts Helsinki UIAH. B
name: Insinöörijärjestöjen koulutuskeskus, Julkaisu
name: Julkaisuja / Tampereen yliopisto, kirjastotieteen ja informatiikan laitos. A, Tutkimusraportit
name: Report Series / University of Turku, Faculty of Education. C
name: Hämeen liiton julkaisu. II
name: Reports / University of Jyväskylä. Department of Teacher Education
name: Julkaisusarja / Sotakorkeakoulu, sotatieteen laitos. 3, Strategian asiatietoa
name: Aalto University publication series. Doctoral dissertations
name: Historiallisia tutkimuksia Helsingin yliopistosta : Historiska studier från Helsingfors universitetet = Historical Studies from the University of Helsinki
name: Julkaisusarja / Valtionhallinnon kehittämiskeskus. A
name: Julkaisusarja / Maanpuolustuskorkeakoulu. Taktiikan laitos. 2
name: Hels. yliop., Maaseudun tutk.- koul.k. Seinäj., B
name: Publication series of the University of Art an Design Helsinki. A
name: Liiketaloustiede
name: Vaasan korkeakoulun julkaisuja. Tutkimuksia, Filologia
name: Oppaita. Ylioppilaiden terveydenhoitosäätiö
name: Julkaisu / TTKK, A, yhdyskuntasuunnittelun laitos
name: Julkaisuja / Tampereen yliopisto, tiedotusopin laitos. Sarja E
name: MKTK:n julkaisuja : Sarja G
name: Report / Department of Mathematical Sciences. University of Tampere. B
name: Publications / Helsinki university of technology laboratory of heating, ventilating and air conditioning. B
name: Publikationen / Universität Helsinki, Institut für Allgemeine Sprachwissenschaft
name: Opetusmoniste / University of Jyväskylä. Department of education

Efficient implementation of the stable model semantics for normal logic programs
contributor: Teknillinen korkeakoulu. Digitaalitekniikan laboratorio
author: Simons, Patrik
work example: Efficient implementation of the stable model semantics for normal logic programs
type: CreativeWork
is part of: Fennica
P60049: http://rdaregistry.info/termList/RDAContentType/1020
language: en
type: Work

PropertyValue
value: 472497
property ID: FI-FENNI

Efficient implementation of the stable model semantics for normal logic programs
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
description: kuvitettu
is part of: Pirkanmaan liiton julkaisu : B
publisher: Teknillinen korkeakoulu
number of pages: iii, 66, [3] s.
publication:
  organizer: Teknillinen korkeakoulu
  location: Espoo
type: Instance
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
is part of: Fennica
example of work: Efficient implementation of the stable model semantics for normal logic programs
date published: 1995
type: CreativeWork
isbn: 9512227525

PropertyValue
property ID: FI-MELINDA
value: 000824259