00827nac# 2200265 i 450 VAN0005267920250926100450.4822297-057602297058420060925a1980 |0itac50 baCH|||| |||||b||||||||||Progress in computer science and applied logicBasel [etc.]BirkhäuserVAN00241869PCSBostonVANL000051CHChamVANL001889CHBaselVANL002076Birkhäuser <editore>VANV108193650ITSOL20251003RICAhttps://www.springer.com/series/4814https://www.springer.com/series/4814VAN00052679Progress in computer science and applied logic1572075UNICAMPANIA