Declarative logic programming

Declarative

Declarative logic programming : theory, systems, and applications / Michael Kifer, Yanhong Annie Liu [editors]. -- First edition. -- ©2018. -- xx, 595 stran : ilustrace ; 24 cm. -- (ACM Books ; 20). -- Obsahuje bibliografie, bibliografické odkazy a rejstřík. -- ISBN : 978-1-97000-196-9 (brožováno).
I. Kifer, M. (Michael), 1954- II. Liu, Yanhong Annie


logické programování * matematická optimalizace * programování * bioinformatika * kolektivní monografie