作者:Cristian S. Calude,Masami Hagiya,Kenichi Morita,Grzegorz Rozenberg,Jon Timmis
主题词:Computation by Abstract Devices,Algorithm Analysis and Problem Complexity,Mathematical Logic and Formal Languages,Artificial Intelligence (incl. Robotics),Logics and Meanings of Programs,Computational Biology/Bioinformatics