-----nas  22-----zu 4500
001 SKVPK0004841
003 CZ-VPK
005 20100430133838.0
008 230804u2001uuuu||||| | |||  ||   |||||||
022   $a1471-0684$bprint
022   $a1475-3081$bonline
040   $aABA013$bcze
222  0$aTheory and practice of logic programming
222  0$aTheory and practice of logic programming$b(Online)
245 00$aTheory and practice of logic programming
260   $aCambridge :$bCambridge University Press,$c2001-
650 07$amatematika$xma$2psh
650 07$avýpočetní technika$xvt$2psh
910   $aABA013$r2011-2014
910   $aABD170$r2001-2013
910   $aBOD030$r2003-2014
990   $aABA013$r2001-2017
990   $aABD170$r2001-2015