TY - BOOK AU - Gemma C Garriga TI - Formal Methods for Mining Structured Objects SN - 978-3-642-36681-9 PY - 2013/// CY - New York PB - Springer Berlin Heidelberg KW - Computational Intelligence; Artificial Intelligence (incl. Robotics) ER -