LEADER 00454nas1 22001813i 450 
001 VEA0019555
005 20251003044437.0
100   $a20130827f        ||||0itac50      ba
102   $ade
110   $abzu |||||||
200 1 $aSymbolic computation
210   $aBerlin [etc.]$cSpringer.
801  3$aIT$bIT-000000$c20130827
850   $aIT-BN0095          
912   $aVEA0019555
977   $a 01$a IB
996   $aSymbolic computation$955766
997   $aUNISANNIO