名古屋大学附属図書館




1

Computational complexity of higher type functions

Cook, Stephen A.. -- Iwanami, 1990. -- (Iwanami videotheque . ICM 90 Kyoto, Japan ; 8). v.