Incremental satisfiability solving and its applications

URI: http://urn.fi/URN:NBN:fi:bib:me:W00664695500
author
contributor
inLanguage
  • en
isPartOf
name
  • Incremental satisfiability solving and its applications
P60049

Instances

Incremental satisfiability solving and its applications

URI: http://urn.fi/URN:NBN:fi:bib:me:I00664695501
description
  • Yhteenveto-osa julkaistu myös verkkoaineistona
isPartOf
name
  • Incremental satisfiability solving and its applications

Incremental satisfiability solving and its applications

URI: http://urn.fi/URN:NBN:fi:bib:me:I00664695502
isbn
  • 9789526055695
isPartOf
name
  • Incremental satisfiability solving and its applications

Incremental satisfiability solving and its applications

URI: http://urn.fi/URN:NBN:fi:bib:me:I00664695503
bookFormat
isPartOf
name
  • Incremental satisfiability solving and its applications
url

Incremental satisfiability solving and its applications

URI: http://urn.fi/URN:NBN:fi:bib:me:I00664695500
datePublished
  • 2014
description
  • Artikkeliväitöskirjan yhteenveto-osa ja 6 eripainosta.
  • kuvitettu
identifier
  • propertyID: FI-MELINDA value: 006646955
isbn
  • 9789526055688
isPartOf
name
  • Incremental satisfiability solving and its applications
numberOfPages
  • 113, [102 ] sivu
P60048
P60050
publication
  • location: Espoo organizer: Aalto University, School of Science, Department of Computer Science and Engineering
publisher
  • Aalto University, School of Science, Department of Computer Science and Engineering

Download this resource as RDF: