Košík

Declarative logic programming : theory, systems, and applications / Michael Kifer, Yanhong Annie Liu [editors] . New York : Association of Computing Machinery ; San Rafael : Morgan & Claypool Publishers, [2018] . xx, 595 stran . ISBN 978-1-97000-196-9 (brožováno) .   [1, z toho volných 1]