Počet záznamů: 1
Declarative logic programming
SYS 0052111 LBL 00000nam-a22^^^^^3a-4500 003 CZ-HkUHK 005 20231013143203.2 007 ta 008 191106s2018----xxua---|-|----001-0-eng-d 020 $a 978-1-97000-196-9 $q (brožováno) 040 $a HKD002 $b cze 041 0-
$a eng 044 $a xxu 072 -7
$a 004.4/.6 $x Programování. Software $9 23 $T . $7 hk_us_auth*m0351552 245 10
$a Declarative logic programming : $b theory, systems, and applications / $c Michael Kifer, Yanhong Annie Liu [editors] 250 $a First edition 260 $a New York : $b Association of Computing Machinery ; $a San Rafael : $b Morgan & Claypool Publishers, $c [2018] 264 $c ©2018 300 $a xx, 595 stran : $b ilustrace ; $c 24 cm 336 $a text $b txt $2 rdacontent 337 $a bez média $b n $2 rdamedia 338 $a svazek $b nc $2 adacarrier 490 $a ACM Books ; $v 20 504 $a Obsahuje bibliografie, bibliografické odkazy a rejstřík 650 07
$7 hk_us_auth*0026134 $a logické programování $2 czenas 650 07
$7 hk_us_auth*0062759 $a matematická optimalizace $2 czenas 650 07
$7 hk_us_auth*m0034402 $a programování $2 czenas 650 07
$7 hk_us_auth*0023490 $a bioinformatika $2 czenas 655 -7
$7 hk_us_auth*0008280 $a kolektivní monografie $2 czenas 700 1-
$7 hk_us_auth*0098618 $a Kifer, M. $q (Michael), $d 1954- $4 edt 700 1-
$a Liu, Yanhong Annie $4 edt 830 -0
$a ACM Books 910 $a HKD002 $b 101912
Počet záznamů: 1