中图分类法:	TP301.6 版次：
题名:	Mathematical foundations of computer science 2007 : [ 32nd international symposium, MFCS 2007, ?esky Krumlov, Czech Republic, August 26-31, 2007 : proceedings /] / ,
其它题名:	MFCS 2007
出版发行:	出版地： Berlin ; 出版社： Springer, 出版日期： c2007.
载体形态:	xviii, 764 p. : ill. ; 24 cm.
主题词:	Computer science Mathematics
主题词:	Computer programming
主题词:	Algorithms
主题词:	Computable functions
主题词:	Machine theory
主要责任者:	Ku?era, Luděk.
主要责任者:	Ku?era, A.