2 Ergebnisse.

sui zhu zhong guo de wai hui chu bei de zeng jia zhong guo de zhu quan cai fu ji jin tou ru guo ji zi jin shi chang de gui mo ye ri yi zeng jia kua guo gou bing ji zi yuan gou mai de gui mo ye ri yi kuo da zai zhe ji nian zhong guo zai shi jie ge di dao chu gou mai shi you zi yuan gou bing kua guo gong si deng pin fan de kua guo tou zi huo dong ge wai ling shi ren zhu mu zhong guo zhu quan cai fu ji jin she li de shi jian bing bu chang duo shu...

This book constitutes the refereed proceedings of the 4th International Conference on Theory and Applications of Models of Computation, TAMC 2007, held in Shanghai, China in May 2007. It addresses all major areas in computer science, mathematics, especially logic, and the physical sciences, particularly with regard to computation and computability theory. The papers particularly focus on algorithms, complexity and computability theory.