Coalgebraic methods in computer science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, proceedings

Coalgebraic methods in computer science : 15th IFIP WG 1.3 International Workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, proceedings / Daniela Petrişan, Jurriaan Rot (eds.).

Sábháilte in:
Sonraí bibleagrafaíochta
Údair chorparáideacha: Workshop on Coalgebraic Methods in Computer Science Online, ETAPS (Conference)
Rannpháirtithe: Petrişan, Daniela, Rot, Jurriaan
Formáid: Ríomhleabhar
Teanga:English
Foilsithe / Cruthaithe: Cham, Swizterland : Springer, 2020.
Sraith:Lecture notes in computer science ; 12094.
LNCS sublibrary. Theoretical computer science and general issues.
Ábhair:
Computer science > Mathematics > Congresses.
Computer software > Mathematics > Congresses.
Mathematical theory of computation.
Artificial intelligence.
Computers > Programming > Algorithms.
Computers > Intelligence (AI) & Semantics.
Mathematics > Logic.
Matemáticas discretas
Matemáticas
Computer science > Mathematics
proceedings (reports)
Conference papers and proceedings
Conference papers and proceedings.
Actes de congrès.
Rochtain ar líne:Click for online access
le faisnéis choinneála agus aisghairme a fháil

Ar líne

Click for online access

Online

Sonraí sealbhúcháin ó Online
Ar fáil

Míreanna comhchosúla