Structure-based satisfiability checking : analyzing and harnessing the potential

URI: http://urn.fi/URN:NBN:fi:bib:me:W00394844800
author
contributor
inLanguage
  • en
isPartOf
name
  • Structure-based satisfiability checking : analyzing and harnessing the potential
P60049

Instances

Structure-based satisfiability checking : analyzing and harnessing the potential

URI: http://urn.fi/URN:NBN:fi:bib:me:I00394844801
description
  • Myös verkkoaineistona ISBN 978-951-22-9642-2
isPartOf
name
  • Structure-based satisfiability checking : analyzing and harnessing the potential
View this in Finna

Structure-based satisfiability checking : analyzing and harnessing the potential

URI: http://urn.fi/URN:NBN:fi:bib:me:I00394844800
datePublished
  • 2008
description
  • kuvitettu
  • Tiivistelmä ja 7 erip.
identifier
  • propertyID: FI-FENNI value: 904085
  • propertyID: FI-MELINDA value: 003948448
  • propertyID: skl value: fx904085
isbn
  • 9789512296415
isPartOf
name
  • Structure-based satisfiability checking : analyzing and harnessing the potential
numberOfPages
  • xiii, 94, [133] sivu
P60048
P60050
publication
  • location: Espoo organizer: Teknillinen korkeakoulu
publisher

Download this resource as RDF: