000			00655nam a2200157Ia 4500
008			231221s9999 xx 000 0 und d
020			_a978-3-642-40885-4
041			_aEnglish
100			_aPascal Fontaine, Christophe Ringeissen, Renate A. Schmidt
245		0	_aFrontiers of Combining Systems
260			_c2013 _bSpringer US _aNew York
440			_aLecture Notes in Computer Science
650			_aArtificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Software Engineering; Algorithm Analysis and Problem Complexity; Programming Techniques
650			_aComputer Science
942			_cEB
999			_c225331 _d225331