作者:Johannes Blömer,Ilias S. Kotsireas,Temur Kutsia,Dimitris E. Simos
主题词:Mathematics of Computing,Software Engineering,Systems and Data Security,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Special Purpose and Application-Based Systems