Gemma C Garriga Formal Methods for Mining Structured Objects - New York Springer Berlin Heidelberg 2013 - Studies in Computational Intelligence . ISBN: 978-3-642-36681-9 Subjects--Topical Terms: Computational Intelligence; Artificial Intelligence (incl. Robotics)