LEADER 01308nam0 2200313 i 450 
001 VAN0055603
005 20240214100943.142
010   $a15-688-1145-4
100   $a20061109d2001       |0itac50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $aSymbolic 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]$3VANC019949$2MF
606   $a68Txx$xArtificial intelligence [MSC 2020]$3VANC021266$2MF
606   $a68Wxx$xAlgorithms in computer science [MSC 2020]$3VANC021296$2MF
606   $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF
620   $dNatick$3VANL000427
702  1$aKerber$bManfred$3VANV044089
702  1$aKohlhase$bMichael$3VANV044090
712   $aPeters$3VANV109174$4650
801   $aIT$bSOL$c20240216$gRICA
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0055603
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   2177        $e08   6771      I       20061109            
996   $aSymbolic computation and automated reasoning$91424732
997   $aUNICAMPANIA