LEADER 01530nam a2200385 i 4500 001 991001282819707536 008 051027s1999 si a b 100 0 engsd 020 $a9814021563 035 $ab13348838-39ule_inst 040 $aDip.to Matematica$beng 082 0 $a511.6$221 084 $aAMS 68-06 084 $aAMS 00B25 084 $aLC QA164.D62 111 2 $aDMTCS '99$d<1999 ;$cAuckland, N. Z.>$0622854 245 10$aCombinatorics, computation & logic 99 :$bproceedings of DMTCS'99 and CATS'99, Auckland, New Zealand, 18-21 January 1999 /$ceds., C. S. Calude, M. J. Dinneen 246 3 $aCombinatorics, computation and logic, 99 246 30$aDMTCS '99 246 30$aCATS '99 260 $aSingapore :$bSpringer,$cc1999 300 $aviii, 368 p. :$bill. ;$c25 cm 440 0$aAustralian computer science communications ;$v21,$n3 504 $aIncludes bibliographical references 650 0$aCombinatorial analysis$vCongresses 650 0$aComputational complexity$vCongresses 650 0$aLogic, Symbolic and mathematical$vCongresses 700 1 $aCalude, C. S. 700 1 $aDinneen, M. J. 711 2 $aAustralasian Theory Symposium$d<1999 ;$cAuckland, N. Z.> 907 $a.b13348838$b21-09-06$c27-10-05 912 $a991001282819707536 945 $aLE013 68-XX CAL21 (1999)$g1$i2013000291048$lle013$op$pE26.10$q-$rl$s- $t0$u0$v0$w0$x0$y.i14152885$z15-11-05 996 $aCombinatorics, computation & logic 99$91093505 997 $aUNISALENTO 998 $ale013$b27-10-05$cm$da $e-$feng$gsi $h0$i0