TY - BOOK AU - Clare Dixon, Marcelo Finger TI - Frontiers of Combining Systems SN - 9783319661674 PY - 2017/// PB - Springer KW - Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Software Engineering; Algorithm Analysis and Problem Complexity; Computer Appl. in Administrative Data Processing UR - http://link.springer.com/openurl?genre=book&isbn=978-3-319-66166-7 ER -