Yhteiskuntapolitiikan laitoksen tutkimuksia
name: Working papers : C
name: Suomi : [maanteiden yleiskartta] = Finland : [översiktskarta över landsvägarna]
name: Turun yliopiston kasvatustieteiden tiedekunnan julkaisusarja : B
name: Vaasan yliop. julk., Opet.monist
name: Helsingin yliopiston Lahden tutkimus- ja koulutuskeskus. Raportteja ja selvityksiä
name: Sarja B: projektiraportit ja selvitykset
name: Julkaisuja / Nuorisotutkimusseura
name: Scientific monographs. E
name: Kansallisarkiston toimituksia
name: Tutkimuksia / STAKES
name: Tied. - Valt. tek. tutk.k
name: Vaasan korkeakoulun julkaisuja. Tutkimuksia, Sosiologia
name: Suomi : maantiekartta = Finland : landsvägskarta
name: Aalto-yliopiston julkaisusarja : Kauppa + talous
name: Publications of the Department of Contemporary History / University of Turku
name: Julkaisu / Teknillinen korkeakoulu. Arkkitehtiosasto. Rakennussuunnittelun laitos. A
name: VTT publictions
name: Julkaisuja / Maatalouden taloudellinen tutkimulaitos
name: Julkaisu / Oulun yliopisto, vesitekniikan laboratorio. Sarja B
name: Julkaisusarja / Sotatieteen laitos. 1, Strategian tutkimuksia
name: Humak University of Applied Sciences Library Publications. Series E
name: Research reports
name: Aalto University publication series. Doctoral dissertation
name: Kasvatustieteiden tutkimuslaitoksen julkaisusarja. B, Teoriaa ja käytäntöä = Pedagogiska forskningsinstitutet. Publi[k]ationsserie B, Teori och praxis
name: Valtion koulutuskeskus. Julkaisusarja B
name: Julkaisusarja / Maanpuolustuskorkeakoulu, koulutustaidon laitos. 1, Oppikirjat
name: Acta Wasaensia, Liiketaloustiede, Johtaminen ja organisaatiot, 1235-7871
name: Julkaisuja / Tampereen yliopisto, kirjastotieteen ja informatiikan laitos. A, Tutkimusraportit
name: Tampereen yliopisto, hallintotiede. A, Tutkimuksia
name: Working papers : W / Helsinki School of Economics and Business Administration
name: Joensuun yliopisto. Historian tutkimuksia
name: Series of Publications A / Department of Computer Science
name: Helsingin yliopiston Lahden tutkimus- ja koulutuskeskus. Oppimateriaaleja
name: Teknillinen korkeakoulu, tietotekniikan osasto, tietoliikenneohjelmistojen ja multimedian laboratorio : A
name: Tampereen yliopisto. A, Kasvatustieteen laitos
name: Publications / HUCH, Jorvi Hospital. Series A
name: Literary and cultural studies : English
name: Vaasan yliopiston julkaisuja. Tutkimuksia. Kulttuurintutkimus
name: Business Administration : Management and organization
name: Teknillinen korkeakoulu, konetekniikan osasto, LVI-tekniikan laboratorio : B
name: Tampereen yliopisto, sosiologian ja sosiaalipsykologian laitos : B, Työraportteja
name: Kielistudio 2 : simulointitehtävät
name: Acta Wasaensia : Liiketaloustiede / Vaasan yliopisto
name: Julkaisusarja / Turun yliopiston kasvatustieteiden tiedekunta
name: Matkailun koulutus- ja tutkimuskeskuksen julkaisuja. A
name: Julkaisu / Oulun yliopisto, sarja A
name: Yrityksen taloustieteen ja yksityisoikeuden laitos. B, Tutkimuksia ja monisteita
name: Julkaisu / Matkailun koulutus- ja tutkimuskeskus. A
name: Julkaisu / Pirkanmaan liitto. C
name: Oppimateriaaleja / Helsingin yliopisto. Lahden tutkimus- ja koulutuskeskus
name: Report / University of Tampere, Department of Mathematical Sciences : B
name: Work. pap. - Univ. Jyväsk., Dep. Econ. Manage
name: Selvityksiä / Maatalouden tutkimuslaitos, taloustutkimus (MTTL)
name: Teknillinen korkeakoulu. M
name: Joensuun yliopisto. Yhteiskunta- ja aluetieteiden tiedekunta. Yhteiskuntatieteellisiä julkaisuja
name: Report / Department of Computer Science, University of Tampere : A
name: Vaasan korkeakoulun julkaisuja. Tutkimuksia, Maantiede
name: Päijät-Hämeen seutukaaval. julk. A
name: Vaasan korkeakoulun julkaisuja. Opetusmonisteita, Kielitiede
name: Stakes. Aiheita
name: Acta Wasaensia, Julkisoikeus
name: MKTK:n julkaisusarja. E
name: Julkaisuja / Helsingin yliopisto, Maatalous- ja metsäeläintieteen laitos
name: Tampereen yliopiston täydennyskoulutuskeskuksen julkaisusarja
name: Skrifter utg. Av Svenska litteratursällskapet i Finland
name: Administrative science : A, Studies / University of Tampere, Department of Administrative Science
name: Hämeen liiton julkaisu. V
name: Julk. - Vaasan korkeak., Länsi-Suom. tal. tutk.l
name: Selvityksiä = Working papers
name: Julkaisusarja / Helsingin yliopisto, maaseudun tutkimus- ja koulutuskeskus, Seinäjoki. Sarja B
name: Statistics / Tampere University of Technology
name: Publication series. B
name: Helsinki studies in education / University of Helsinki, Faculty of Educational Sciences
name: Acta Wasaensia. Statistics
name: Tutkimuksia : Sarja B. / Tampereen yliopisto, aluetieteen laitos
name: Raportti / Teknillinen korkeakoulu, konetekniikan osasto, kevytrakennetekniikan laboratorio. B
name: Väestöntutkimuslaitos. E
name: Suomen historiallinen seura, Käsikirjoja
name: Julk.sar. - Maanpuol.korkeak., Taktiikan laitos, 2 Taktiikan asiatietoja
name: Pirkanmaan liitto : Sarja D, Yhteistyöjulkaisut

PropertyValue
property ID: FI-FENNI
value: 769089

PropertyValue
value: fx769089
property ID: skl

Proof complexity of cut-based tableaux for Boolean circuit satisfiability checking
language: en
type: CreativeWork
is part of: Fennica
type: Work
author: Järvisalo, Matti
contributor: Teknillinen korkeakoulu. Tietojenkäsittelyteorian laboratorio
work example: Proof complexity of cut-based tableaux for Boolean circuit satisfiability checking
P60049: http://rdaregistry.info/termList/RDAContentType/1020

Proof complexity of cut-based tableaux for Boolean circuit satisfiability checking
P60050: http://rdaregistry.info/termList/RDAMediaType/1007
is part of: Fennica
number of pages: v, 45 sivua
description: kuvitettu
publisher: Teknillinen korkeakoulu
type: Instance
is part of: Yhteiskuntapolitiikan laitoksen tutkimuksia
isbn: 951227020X
date published: 2004
example of work: Proof complexity of cut-based tableaux for Boolean circuit satisfiability checking
type: CreativeWork
P60048: http://rdaregistry.info/termList/RDACarrierType/1049
publication:
  location: Espoo
  organizer: Teknillinen korkeakoulu

PropertyValue
property ID: FI-MELINDA
value: 003924803