01432nam 2200445 450 99646449170331620220609085113.03-030-86205-4(CKB)5600000000003482(MiAaPQ)EBC6716389(Au-PeEL)EBL6716389(OCoLC)1266354885(PPN)25735087X(EXLCZ)99560000000000348220220609d2021 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierFrontiers of combining systems 13th international symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings /Boris Konev, Giles Reger (editors)Cham, Switzerland :Springer,[2021]©20211 online resource (314 pages)Lecture notes in computer science ;129413-030-86204-6 Includes bibliographical references and index.Lecture notes in computer science ;12941.Logic, Symbolic and mathematicalCongressesLogic, Symbolic and mathematical511.3Konev BorisReger GilesMiAaPQMiAaPQMiAaPQBOOK996464491703316Frontiers of Combining Systems2555154UNISA