01308nam0 2200313 i 450 VAN005560320240214100943.14215-688-1145-420061109d2001 |0itac50 baengUS|||| |||||Symbolic computation and automated reasoningCALCULEMUS-2000 symposiumedited by Manfred Kerber, Michael KohlhaseNatickPeters2001XI, 270 p. ill.23 cm68QxxTheory of computing [MSC 2020]VANC019949MF68TxxArtificial intelligence [MSC 2020]VANC021266MF68WxxAlgorithms in computer science [MSC 2020]VANC021296MF03BxxGeneral logic [MSC 2020]VANC024425MFNatickVANL000427KerberManfredVANV044089KohlhaseMichaelVANV044090PetersVANV109174650ITSOL20240216RICABIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08VAN0055603BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08PREST 03-XX 2177 08 6771 I 20061109 Symbolic computation and automated reasoning1424732UNICAMPANIA