Infinity in Logic and Computation - Archibald, Margaret; Brattka, Vasco; Goranko, Valentin; Kanade, Takeo; Löwe, Benedikt; Goranko, Valentin F. (Springer Berlin Heidelberg, 2009)
Keywords: Information Technology -- Artificial Intelligence