作者:Cristian S. Calude,Grzegorz Rozenberg,Arto Salomaa
主题词:Theory of Computation,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,User Interfaces and Human Computer Interaction,Artificial Intelligence (incl. Robotics),Computers and Society