Logic Programming - Etalle, Sandro; Kanade, Takeo; Kittler, Josef; Truszczynski, Miroslav (Springer Berlin / Heidelberg, 2006)
Keywords: Information Technology -- Computer Science (Hardware & Networks)