Počet záznamů: 1
Declarative logic programming
Údaje o názvu Declarative logic programming : theory, systems, and applications / Michael Kifer, Yanhong Annie Liu [editors] Dal.odpovědnost Kifer, M. (Michael), 1954- (editor)
Liu, Yanhong Annie (editor)
Údaje o vydání First edition Vyd.údaje New York : Association of Computing Machinery ; San Rafael : Morgan & Claypool Publishers, [2018] Fyz.popis xx, 595 stran : ilustrace ; 24 cm ISBN 978-1-97000-196-9 (brožováno) Edice ACM Books ; 20 Poznámky Obsahuje bibliografie, bibliografické odkazy a rejstřík Předmět.hesla logické programování matematická optimalizace programování bioinformatika Forma, žánr kolektivní monografie Konspekt 004.4/.6 - Programování. Software Země vyd. Spojené státy americké Jazyk dok. angličtina Počet ex. 1, z toho volných 1 Databáze Naučná literatura kniha
Signatura Přír.číslo Lokace Dislokace Info 101912 491794 Knihovna IV blokováno
Počet záznamů: 1