LEADER 02471nam0 22005533i 450 001 VAN00248772 005 20240806101415.551 017 70$2N$a9783030572013 100 $a20220729d2020 |0itac50 ba 101 $aeng 102 $aCH 105 $a|||| ||||| 200 1 $aCoalgebraic Methods in Computer Science$e15. IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25?26, 2020, Proceedings$fDaniela Petri?an, Jurriaan Rot editors 210 $aCham$cSpringer$d2020 215 $axv, 201 p.$cill.$d24 cm 410 1$1001VAN00029438$12001 $aLecture notes in computer science$1210 $aBerlin [etc.]$cSpringer$v12094 500 1$3VAN00248774$aCoalgebraic Methods in Computer Science$92902835 606 $a00B25$xProceedings of conferences of miscellaneous specific interest [MSC 2020]$3VANC020732$2MF 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a68Q65$xAbstract data types; algebraic specification [MSC 2020]$3VANC037098$2MF 610 $aArtificial Intelligence$9KW:K 610 $aBoolean algebra$9KW:K 610 $aBoolean functions$9KW:K 610 $aCoalgebra$9KW:K 610 $aComputer programming$9KW:K 610 $aComputer vision$9KW:K 610 $aDatabases$9KW:K 610 $aDynamical systems$9KW:K 610 $aFormal logic$9KW:K 610 $aFunctors$9KW:K 610 $aGame Theory$9KW:K 610 $aImage processing$9KW:K 610 $aMathematics$9KW:K 610 $aMatrix algebra$9KW:K 610 $aSemantical models$9KW:K 610 $aSemantics$9KW:K 620 $aCH$dCham$3VANL001889 702 1$aPetri?an$bDaniela$3VANV203579 702 1$aRot$bJurriaan$3VANV203580 712 12$aInternational Workshop on Coalgebraic Methods in Computer Science$d15.$f2020$eDublin, Ireland$3VANV203581 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20241115$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-030-57201-3$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN00248772 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 4588 $e08eMF4588 20220729 996 $aCoalgebraic Methods in Computer Science$92902835 997 $aUNICAMPANIA