作者:Cristian S. Calude,Jarkko Kari,Ion Petre,Grzegorz Rozenberg
主题词: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