000 00813 a2200229 4500
001 374486
003 OSt
005 20240504123603.0
008 230127b |||||||| |||| 00| 0 eng d
020 _a978-3-319-39393-3
040 _cIITB
041 _aeng
245 _aPattern Recognition 8th Mexican Conference, MCPR 2016, Guanajuato, Mexico, June 22-25, 2016. Proceedings
260 _aBerlin
_c2016
_bSpringer
440 _922935
_aLecture Notes in Computer Science (LNCS)
_vv.9703
650 0 _aComputer science and engineering
_97673
650 0 _aFormal methods (Computer science)
_vCongresses
_96794
650 0 _aLattice theory
_vCongresses
_933301
700 _aMartinez-Trinidad, Jose Francisco ...[et al.]
_eEditor
_933307
856 _uhttps://doi.org/10.1007/978-3-319-39393-3
942 _cEB
_2udc
999 _c281409
_d281409