01406nam0 2200325 i 450 VAN0005560320241216115341.27215-688-1145-420061109d2001 |0itac50 baengUS|||| |||||Symbolic computation and automated reasoningCALCULEMUS-2000 symposiumedited by Manfred Kerber, Michael KohlhaseNatickPeters2001XI, 270 p. ill.23 cm03BxxGeneral logic [MSC 2020]VANC024425MF68QxxTheory of computing [MSC 2020]VANC019949MF68TxxArtificial intelligence [MSC 2020]VANC021266MF68WxxAlgorithms in computer science [MSC 2020]VANC021296MFNatickVANL000427KerberManfredVANV044089KohlhaseMichaelVANV044090Peters <editore>VANV109174650ITSOL20260213RICA/sebina/repository/catalogazione/documenti/ID 55603.pdfID 55603.pdfBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN00055603BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2177 08 6771 I 20061109 Symbolic computation and automated reasoning1424732UNICAMPANIA