000 00972nmm a22003015u 4500
999 _c17917
_d17917
005 20201022113247.0
008 100301s2006 ne j eng d
020 _a9781402055713
050 0 4 _aQA76.9.A43
_bG58 2006
100 1 _aGiunchiglia, Enrico.
245 1 0 _aSAT 2005
_h[electronic resource] :
_bSatisfiability Research in the Year 2005 /
_cedited by Enrico Giunchiglia, Toby Walsh.
250 _a1a ed.
260 _aDordrecht :
_bSpringer,
_c2006.
300 _bv.: digital
650 _aCálculo proporcional
_vCongresos
650 0 _aToma de decisiones
_v Congresos
650 0 _aAlgoritmos computacionales
_vCongresos
700 1 _aWalsh, Toby.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttp://dx.doi.org/10.1007/978-1-4020-5571-3
942 _2lcc
_cLIE