Automated Reasoning and Mathematics - Hutchison, David; Kanade, Takeo; Kittler, Josef; Kittler, Josef; Stickel, Mark E. (Springer Berlin Heidelberg, 2013)
Keywords: Information Technology -- Artificial Intelligence