LEADER 01432nam  2200445   450 
001 996464491703316
005 20220609085113.0
010   $a3-030-86205-4
035   $a(CKB)5600000000003482
035   $a(MiAaPQ)EBC6716389
035   $a(Au-PeEL)EBL6716389
035   $a(OCoLC)1266354885
035   $a(PPN)25735087X
035   $a(EXLCZ)995600000000003482
100   $a20220609d2021      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aFrontiers of combining systems $e13th international symposium, FroCoS 2021, Birmingham, UK, September 8-10, 2021 : proceedings /$fBoris Konev, Giles Reger (editors)
210  1$aCham, Switzerland :$cSpringer,$d[2021]
210  4$dİ2021
215   $a1 online resource (314 pages)
225 1 $aLecture notes in computer science ;$v12941
311   $a3-030-86204-6 
320   $aIncludes bibliographical references and index.
410  0$aLecture notes in computer science ;$v12941.
606   $aLogic, Symbolic and mathematical$vCongresses
615  0$aLogic, Symbolic and mathematical
676   $a511.3
702   $aKonev$b Boris
702   $aReger$b Giles
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996464491703316
996   $aFrontiers of Combining Systems$92555154
997   $aUNISA