-----nas  22-----zu 4500
001 SKVPK0017975
003 CZ-VPK
005 20141204094234.0
008 150513u2001uuuu||||| | |||  ||   |||||||
022   $a1567-8326$bprint
022   $a1873-5940$bonline
040   $aABA013$bcze
222  0$aJournal of logic and algebraic programming
222  0$a{The }journal of logic and algebraic programming$b(Online)
245 00$aJournal of logic and algebraic programming
260   $aAmsterdam :$bNorth-Holland,$c2001-
650 07$avýpočetní technika$xvt$2psh
780 00$t{The }journal of logic programming$x0743-1066
990   $aABA007$r2001-2014
990   $aABA009$r2001-2013
990   $aABA013$r2001-2014
990   $aPNA001$r2001-2014