02467nam0 22005533i 450 VAN024877220230529021429.573N978303057201320220729d2020 |0itac50 baengCH|||| |||||Coalgebraic Methods in Computer Science15. IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, ProceedingsDaniela Petrişan, Jurriaan Rot editorsChamSpringer2020xv, 201 p.ill.24 cm001VAN00294382001 Lecture notes in computer science210 Berlin [etc.]Springer12094VAN0248774Coalgebraic Methods in Computer Science290283568-XXComputer science [MSC 2020]VANC019670MF00B25Proceedings of conferences of miscellaneous specific interest [MSC 2020]VANC020732MF68Q65Abstract data types; algebraic specification [MSC 2020]VANC037098MFArtificial IntelligenceKW:KBoolean algebraKW:KBoolean functionsKW:KCoalgebraKW:KComputer programmingKW:KComputer visionKW:KDatabasesKW:KDynamical systemsKW:KFormal logicKW:KFunctorsKW:KGame TheoryKW:KImage processingKW:KMathematicsKW:KMatrix algebraKW:KSemantical modelsKW:KSemanticsKW:KCHChamVANL001889PetrişanDanielaVANV203579RotJurriaanVANV203580International Workshop on Coalgebraic Methods in Computer Science15.2020Dublin, IrelandVANV203581Springer <editore>VANV108073650ITSOL20240614RICAhttp://doi.org/10.1007/978-3-030-57201-3E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0248772BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 4588 08eMF4588 20220729 Coalgebraic Methods in Computer Science2902835UNICAMPANIA