01246nam0 2200301 i 450 SUN005560320160415022444.59615-688-1145-40.0020061109d2001 |0engc50 baengUS|||| |||||*Symbolic computation and automated reasoningCALCULEMUS-2000 symposiumedited by Manfred Kerber, Michael KohlhaseNatickPeters2001XI, 270 p. ill.23 cm.68QxxTheory of computing [MSC 2020]MFSUNC01994968TxxArtificial intelligence [MSC 2020]MFSUNC02126668WxxAlgorithms in computer science [MSC 2020]MFSUNC02129603BxxGeneral logic [MSC 2020]MFSUNC024425NatickSUNL000427Kerber, ManfredSUNV044089Kohlhase, MichaelSUNV044090PetersSUNV001746650ITSOL20201026RICASUN0055603UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2177 08 6771 I 20061109 Symbolic computation and automated reasoning1424732UNICAMPANIA