Sandro Etalle, Mirosław Truszczyński

Logic Programming - Germany Springer 2006

978-3-540-36636-2


Computer Science
Logic Programming