National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Grid based propositional satisfiability solving
URI:
http://urn.fi/URN:NBN:fi:bib:me:W00597145100
about
grid-menetelmä
laskeminen
lauselogiikka
pilvipalvelut
author
Hyvärinen, Antti E. J
inLanguage
en
isPartOf
Fennica
name
Grid based propositional satisfiability solving
P60049
<http://rdaregistry.info/termList/RDAContentType/1020>
Instances
-
-
-
-
-, e-book
2011 : Aalto University, School of Science
2011 : Aalto-yliopisto, e-book
Grid based propositional satisfiability solving
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00597145302
isbn
9789526043685
isPartOf
Fennica
Raportti / Tampereen yliopisto. Matemaattisten tieteiden laitos. C
name
Grid based propositional satisfiability solving
Grid based propositional satisfiability solving
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00597145301
description
Yhteenveto-osa julkaistu myös verkkoaineistona
isPartOf
Fennica
Raportti / Tampereen yliopisto. Matemaattisten tieteiden laitos. C
name
Grid based propositional satisfiability solving
Grid based propositional satisfiability solving
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00597145102
isbn
9789526043678
isPartOf
Fennica
Raportti / Tampereen yliopisto. Matemaattisten tieteiden laitos. C
name
Grid based propositional satisfiability solving
Grid based propositional satisfiability solving
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00597145101
description
Julkaistu myös painettuna
isPartOf
Fennica
Raportti / Tampereen yliopisto. Matemaattisten tieteiden laitos. C
name
Grid based propositional satisfiability solving
Grid based propositional satisfiability solving
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00597145303
bookFormat
<http://schema.org/EBook>
isPartOf
Fennica
Raportti / Tampereen yliopisto. Matemaattisten tieteiden laitos. C
name
Grid based propositional satisfiability solving
url
<http://urn.fi/URN:ISBN:978-952-60-4368-5>
View this in Finna
Grid based propositional satisfiability solving
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00597145300
datePublished
2011
description
Artikkeliväitöskirjan yhteenveto-osa ja 5 eripainosta.
kuvitettu
identifier
propertyID:
FI-FENNI
value:
985072
propertyID:
FI-MELINDA
value:
005971453
propertyID:
skl
value:
fx985072
isbn
9789526043678
isPartOf
Fennica
Raportti / Tampereen yliopisto. Matemaattisten tieteiden laitos. C
name
Grid based propositional satisfiability solving
numberOfPages
99, [95] sivu
P60048
<http://rdaregistry.info/termList/RDACarrierType/1049>
P60050
<http://rdaregistry.info/termList/RDAMediaType/1007>
publication
location:
Espoo
organizer:
Aalto University, School of Science
publisher
Aalto University, School of Science
Grid based propositional satisfiability solving
URI:
http://urn.fi/URN:NBN:fi:bib:me:I00597145100
bookFormat
<http://schema.org/EBook>
datePublished
2011
description
Artikkeliväitöskirjan yhteenveto-osa.
Nimeke nimiösivulta.
identifier
propertyID:
FI-MELINDA
value:
005971451
isbn
9789526043685
isPartOf
Fennica
Raportti / Tampereen yliopisto. Matemaattisten tieteiden laitos. C
name
Grid based propositional satisfiability solving
numberOfPages
1 verkkoaineisto (107 s.)
P60048
<http://rdaregistry.info/termList/RDACarrierType/1018>
P60050
<http://rdaregistry.info/termList/RDAMediaType/1003>
publication
location:
Espoo
organizer:
Aalto-yliopisto
publisher
Aalto-yliopisto
url
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD