LEADER 01246nam0 2200301 i 450 
001 SUN0055603
005 20160415022444.596
010   $a15-688-1145-4$d0.00
100   $a20061109d2001       |0engc50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $a*Symbolic computation and automated reasoning$eCALCULEMUS-2000 symposium$fedited by Manfred Kerber, Michael Kohlhase
210   $aNatick$cPeters$d2001
215   $aXI, 270 p. $cill.$d23 cm.
606   $a68Qxx$xTheory of computing [MSC 2020]$2MF$3SUNC019949
606   $a68Txx$xArtificial intelligence [MSC 2020]$2MF$3SUNC021266
606   $a68Wxx$xAlgorithms in computer science [MSC 2020]$2MF$3SUNC021296
606   $a03Bxx$xGeneral logic [MSC 2020]$2MF$3SUNC024425
620   $dNatick$3SUNL000427
702  1$aKerber$b, Manfred$3SUNV044089
702  1$aKohlhase$b, Michael$3SUNV044090
712   $aPeters$3SUNV001746$4650
801   $aIT$bSOL$c20201026$gRICA
912   $aSUN0055603
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   2177        $e08   6771      I       20061109            
996   $aSymbolic computation and automated reasoning$91424732
997   $aUNICAMPANIA